CI build

Update project structure #75

Sign in to view logs

Triggered via pull request December 16, 2023 08:45

Ailrun

synchronize #40

PR-update-structure

Status Failure

Total duration 5m 14s

Artifacts –

ci_build.yml

on: pull_request

Completeness of _CoqProject

Continuous Intergration

Annotations

1 error

Continuous Intergration

Process completed with exit code 2.