Skip to content

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

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

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

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

nix-action-rocq-9.2.yml

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

Annotations

5 errors and 1 warning
mathcomp-single
The run was canceled by @proux01.
mathcomp-single
The operation was canceled.
rocq-core
The run was canceled by @proux01.
rocq-core
The operation was canceled.
Nix CI for bundle rocq-9.2
The run was canceled by @proux01.
mathcomp-single
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/