Fix 2050 (#2098) #178
affeldt-aistnix-action-9.3.yml
on: push
rocq-core
2m 29s
coquelicot
2m 29s
mathcomp-experimental-reals
2m 30s
mathcomp-analysis-stdlib
2m 37s
Annotations
11 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/
|
|
mathcomp-classical
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/
|
|
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-analysis-single
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/
|
|
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/
|
|
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/
|
|
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/
|
|
mathcomp-experimental-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/
|
|
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/
|