Skip to content
CI build

Update CI to have (temporary) extension page #360

Sign in to view logs

Update CI to have (temporary) extension page

Update CI to have (temporary) extension page #360

Triggered via pull request October 1, 2024 18:38
@AilrunAilrun
opened #235
main
Status Cancelled
Total duration 2m 47s
Artifacts –

ci_build.yaml

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

Annotations

2 errors
Continuous Intergration
The run was canceled by @Ailrun.
Continuous Intergration
The operation was canceled.