Skip to content
CI build

Working on soundness proof #412

Sign in to view logs

Working on soundness proof

Working on soundness proof #412

Triggered via pull request November 9, 2024 06:26
@HuStmpHrrrHuStmpHrrr
synchronize #259
feature/soundness
Status Success
Total duration 5m 27s
Artifacts –

ci_build.yaml

on: pull_request
Completeness of _CoqProject
5s
Completeness of _CoqProject
Continuous Intergration
5m 16s
Continuous Intergration
Fit to window
Zoom out
Zoom in