CI build

CI build #281

Sign in to view logs

Manually triggered September 15, 2024 01:23

HuStmpHrrr

feature/start-eq

Status Failure

Total duration 1m 40s

Artifacts –

ci_build.yaml

on: workflow_dispatch

Completeness of _CoqProject

Continuous Intergration

Annotations

1 error

Continuous Intergration: theories/Entrypoint.v#L7

Cannot find a physical path bound to logical path