[CI] Update Nix toolbox #2287
Triggered via pull request
January 24, 2024 15:03
proux01
Status
Cancelled
Total duration
12m 15s
Artifacts
–
nix-action-master.yml
on: pull_request
coq
1m 8s
mathcomp
0s
mathcomp-analysis
0s
mathcomp-analysis-single
0s
Annotations
2 errors
|
hierarchy-builder
The run was canceled by @proux01.
|
|
hierarchy-builder
The operation was canceled.
|