[CI] Update Nix toolbox #830
Triggered via pull request
August 21, 2026 08:27
proux01
Status
Success
Total duration
1h 39m 54s
Artifacts
–
nix-action-rocq-master.yml
on: pull_request
rocq-core
58s
rocq-elpi
1m 7s
argosy
1m 27s
atbr
1m 57s
coinduction
58s
coq-performance-tests
15m 7s
coq-tools
7m 3s
coquelicot
1m 54s
deriving
1m 45s
dpdgraph-test
53s
engine-bench
1m 1s
fiat-parsers
1m 0s
itauto
2m 30s
neural-net-coq-interp
1m 49s
paramcoq-test
54s
rocq-lean-import
1m 26s
waterproof
2m 23s
rocq-elpi-test
2m 44s
stdlib-refman-html
1m 4s
stdlib-test
59s
mathcomp
1m 0s
mtac2
1m 5s
coq-hammer
54s
relation-algebra
57s
smtcoq
1m 56s
stalmarck-tactic
1m 2s
quickchick-test
2m 30s
mathcomp-analysis-stdlib
1m 3s
fiat-crypto-ocaml
1m 23s
metarocq-test
2m 44s
Annotations
91 warnings
|
rocq-core
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rocq-elpi
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-bigenough
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
hierarchy-builder
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdlib-all
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdlib-html
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-finmap
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-algebra
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-field
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-reals
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
unicoq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdlib
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-real-closed
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
aac-tactics
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coqutil
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
argosy
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
deriving
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
atbr
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
MenhirLib
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
bignums
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
autosubst
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stalmarck
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coq-hammer-tactics
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ExtLib
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coq-tools
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-word
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
paco
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdpp
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
itauto
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coquelicot
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rocq-lean-import
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
trakt
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
flocq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
fcsl-pcm
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coq-performance-tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
waterproof
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
dpdgraph-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
equations
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-zify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rocq-elpi-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coinduction
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
paramcoq-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdlib-refman-html
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
neural-net-coq-interp
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
fiat-parsers
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rewriter
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
engine-bench
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-reals-stdlib
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mtac2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stdlib-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
relation-algebra
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
bignums-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coq-hammer
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
stalmarck-tactic
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
simple-io
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
math-classes
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
coqprime
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-utils
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
equations-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
smtcoq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
compcert
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
ITree
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
QuickChick
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
iris
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
CoLoR
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-common
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
quickchick-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-template-rocq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-translations
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
corn
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
iris-examples
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
jasmin
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
category-theory
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
VST
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
bedrock2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-analysis
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-pcuic
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mathcomp-analysis-stdlib
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-template-pcuic
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-safechecker
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-safechecker-plugin
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-quotation
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-erasure
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-erasure-plugin
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
metarocq-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
rupicola
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
fiat-crypto
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
fiat-crypto-ocaml
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|