Remove Stdlib dependency #66
Triggered via pull request
February 22, 2025 11:17
proux01
Status
Cancelled
Total duration
21m 41s
Artifacts
–
nix-action-master.yml
on: pull_request
coq
46s
mathcomp-abel
2m 2s
mathcomp
48s
mathcomp-apery
6m 5s
Annotations
2 errors
|
mathcomp-apery
The run was canceled by @proux01.
|
|
mathcomp-apery
The operation was canceled.
|