CI build #264
Ailrunci_build.yaml
on: workflow_dispatch
Completeness of _CoqProject
9s
Continuous Intergration
2m 42s
Annotations
2 errors
|
Continuous Intergration
The run was canceled by @Ailrun.
|
|
Continuous Intergration
The operation was canceled.
|