Skip to content

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

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

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

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

nix-action-rocq-master.yml

on: pull_request_target
rocq-core
11s
rocq-core
mathcomp-single
9s
mathcomp-single
rocq-elpi
12s
rocq-elpi
bignums
0s
bignums
hierarchy-builder
0s
hierarchy-builder
simple-io
0s
simple-io
mathcomp-boot
0s
mathcomp-boot
mathcomp-fingroup
mathcomp-fingroup
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-order
mathcomp-order
mathcomp-finmap
mathcomp-finmap
QuickChick
QuickChick
mathcomp-algebra
mathcomp-algebra
mathcomp-ssreflect
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
deriving
deriving
reglang
reglang
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-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
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

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