[CI] Update Nix toolbox #2286
proux01nix-action-master.yml
on: pull_request_target
coq
1m 9s
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.
|