Skip to content

preparing changelog for 1.8.0 #381

preparing changelog for 1.8.0

preparing changelog for 1.8.0 #381

Triggered via pull request December 13, 2024 22:52
@CohenCyrilCohenCyril
opened #490
Status Cancelled
Total duration 5m 5s
Artifacts

nix-action-coq-master.yml

on: pull_request_target
hierarchy-builder
0s
mathcomp-ssreflect
0s
mathcomp-fingroup
0s
mathcomp-bigenough
0s
mathcomp-finmap
0s
mathcomp-algebra
0s
mathcomp-solvable
0s
mathcomp-classical
0s
fourcolor
0s
coq-bits
0s
multinomials
0s
mathcomp-field
0s
mathcomp-reals
0s
mathcomp-character
0s
mathcomp-real-closed
0s
mathcomp-reals-stdlib
0s
mathcomp-analysis
0s
mathcomp-experimental-reals
0s
mathcomp
0s
mathcomp-analysis-stdlib
0s
odd-order
0s

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