CI build

Update project structure #77

Sign in to view logs

Triggered via pull request December 16, 2023 09:03

Ailrun

synchronize #40

PR-update-structure

Status Success

Total duration 5m 55s

Artifacts –

ci_build.yml

on: pull_request

Completeness of _CoqProject

Continuous Intergration