[CI] Update Nix CI #1820
Triggered via pull request
September 22, 2023 08:57
proux01
Status
Cancelled
Total duration
42m 27s
Artifacts
–
nix-action-master.yml
on: pull_request
coq
43s
mathcomp
15m 17s
mathcomp-analysis
33m 22s
mathcomp-analysis-single
30m 56s
Annotations
4 errors
|
mathcomp-analysis-single
The run was canceled by @proux01.
|
|
mathcomp-analysis-single
The operation was canceled.
|
|
mathcomp-analysis
The run was canceled by @proux01.
|
|
mathcomp-analysis
The operation was canceled.
|