CI build

Update project structure #74

Sign in to view logs

Triggered via pull request December 15, 2023 21:24

Ailrun

opened #40

PR-update-structure

Status Failure

Total duration 5m 46s

Artifacts –

ci_build.yml

on: pull_request

Completeness of _CoqProject

Continuous Intergration

Annotations

1 error

Continuous Intergration

Process completed with exit code 2.