Skip to content
CI build

Add a more "proper" entrypoint with fuller parser #209

Sign in to view logs

Add a more "proper" entrypoint with fuller parser

Add a more "proper" entrypoint with fuller parser #209

Triggered via pull request September 5, 2024 09:44
@AilrunAilrun
opened #170
pr-entrypoint
Status Cancelled
Total duration 7s
Artifacts –

ci_build.yaml

on: pull_request
Completeness of _CoqProject
0s
Completeness of _CoqProject
Continuous Intergration
0s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Completeness of _CoqProject
The run was canceled by @Ailrun.
Continuous Intergration
The run was canceled by @Ailrun.