clarify merge policy #1049
Triggered via pull request
February 27, 2025 06:49
affeldt-aist
affeldt-aist
opened
#1503
Status
Cancelled
Total duration
28m 50s
Artifacts
–
nix-action-8.20.yml
on: pull_request_target
Annotations
4 errors
|
mathcomp-analysis-stdlib
The run was canceled by @proux01.
|
|
mathcomp-analysis-stdlib
The operation was canceled.
|
|
|
|
ssprove
The operation was canceled.
|