Seminorm tvs #5566
mkerjeannix-action-master.yml
on: pull_request_target
rocq-core
6m 41s
rocq-elpi
7m 50s
coq
1m 15s
mathcomp-analysis-single
17m 46s
mathcomp
15m 27s
mathcomp-experimental-reals
0s
mathcomp-analysis-stdlib
0s
Annotations
2 errors and 14 warnings
|
mathcomp-analysis
Process completed with exit code 1.
|
|
mathcomp-analysis-single
Process completed with exit code 1.
|
|
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/
|
|
coq-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/
|
|
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-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/
|
|
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/
|
|
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
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/
|
|
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
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-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/
|