CI build

Update notations #72

Sign in to view logs

Triggered via pull request December 15, 2023 08:29

Ailrun

opened #39

PR-syntax-update

Status Success

Total duration 6m 35s

Artifacts –

ci_build.yml

on: pull_request

Completeness of _CoqProject

Continuous Intergration