Update PR template #1860
Triggered via pull request
January 25, 2024 14:07
affeldt-aist
affeldt-aist
synchronize
#1164
Status
Cancelled
Total duration
6m 34s
Artifacts
–
nix-action-8.16.yml
on: pull_request_target
coq
1m 2s
mathcomp
1m 1s
mathcomp-analysis
5m 15s
mathcomp-analysis-single
5m 9s
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.
|