Skip to content
CI build

Working on soundness proof #406

Sign in to view logs

Working on soundness proof

Working on soundness proof #406

Triggered via pull request November 6, 2024 06:18
@HuStmpHrrrHuStmpHrrr
synchronize #259
feature/soundness
Status Failure
Total duration 3m 55s
Artifacts –

ci_build.yaml

on: pull_request
Completeness of _CoqProject
2s
Completeness of _CoqProject
Continuous Intergration
3m 45s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

1 error
Continuous Intergration
No such goal.