Skip to content

Clean up the Require Import lists #44

Clean up the Require Import lists

Clean up the Require Import lists #44

Triggered via pull request July 8, 2024 11:51
@pi8027pi8027
synchronize #61
Status Failure
Total duration 2m 52s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
40s
mathcomp-bigenough
mathcomp-zify
40s
mathcomp-zify
mathcomp-finmap
36s
mathcomp-finmap
mathcomp-real-closed
0s
mathcomp-real-closed
hierarchy-builder
0s
hierarchy-builder
mathcomp-algebra-tactics
0s
mathcomp-algebra-tactics
multinomials
0s
multinomials
mathcomp-abel
0s
mathcomp-abel
mathcomp
0s
mathcomp
mathcomp-apery
0s
mathcomp-apery
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 7 warnings
mathcomp-bigenough
Process completed with exit code 1.
coq-elpi
Process completed with exit code 1.
mathcomp-finmap
Process completed with exit code 1.
mathcomp-zify
Process completed with exit code 1.
coq
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
bignums
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-bigenough
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
coq-elpi
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-finmap
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
paramcoq
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-zify
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/