preparing changelog for 1.8.0 #381
Triggered via pull request
December 13, 2024 22:52
CohenCyril
opened
#490
Status
Cancelled
Total duration
5m 5s
Artifacts
–
Annotations
4 errors and 2 warnings
stdlib
The run was canceled by @CohenCyril.
|
stdlib
The operation was canceled.
|
paramcoq
The run was canceled by @CohenCyril.
|
paramcoq
A task was canceled.
|
mathcomp-single
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|