CI build

exit properly #295

Sign in to view logs

Triggered via pull request September 15, 2024 23:16

HuStmpHrrr

opened #209

feature/exit-code

Status Success

Total duration 7m 21s

Artifacts –

ci_build.yaml

on: pull_request

Completeness of _CoqProject

Continuous Intergration