Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21851 #22

Adapt to https://github.com/rocq-prover/rocq/pull/21851

Adapt to https://github.com/rocq-prover/rocq/pull/21851 #22

Triggered via pull request April 2, 2026 14:46
@proux01proux01
opened #588
Status Cancelled
Total duration 36s
Artifacts

nix-action-rocq-9.0.yml

on: pull_request_target
rocq-core
30s
rocq-core
hierarchy-builder
hierarchy-builder
ExtLib
ExtLib
mathcomp-real-closed
mathcomp-real-closed
multinomials
multinomials
mathcomp-zify
mathcomp-zify
coquelicot
coquelicot
deriving
deriving
fourcolor
fourcolor
mathcomp-word
mathcomp-word
odd-order
odd-order
reglang
reglang
mathcomp-boot
mathcomp-boot
mathcomp-classical
mathcomp-classical
mathcomp-single
mathcomp-single
simple-io
simple-io
coqeal
coqeal
mathcomp-algebra-tactics
mathcomp-algebra-tactics
mathcomp-fingroup
mathcomp-fingroup
mathcomp-order
mathcomp-order
mathcomp-bigenough
mathcomp-bigenough
mathcomp-finmap
mathcomp-finmap
mathcomp-reals
mathcomp-reals
QuickChick
0s
QuickChick
coq-bits
0s
coq-bits
mathcomp-algebra
0s
mathcomp-algebra
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp-solvable
0s
mathcomp-solvable
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
mathcomp-field
0s
mathcomp-field
mathcomp-character
0s
mathcomp-character
mathcomp
0s
mathcomp
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
rocq-core
The run was canceled by @proux01.
rocq-core
The operation was canceled.
Nix CI for bundle rocq-9.0
The run was canceled by @proux01.
rocq-core
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: cachix/cachix-action@v16. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/