Skip to content

Update CI and README #20

Update CI and README

Update CI and README #20

Triggered via pull request March 19, 2024 13:07
@pi8027pi8027
opened #58
Status Failure
Total duration 7m 51s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
36s
mathcomp-bigenough
hierarchy-builder
33s
hierarchy-builder
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp
0s
mathcomp
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
mathcomp-bigenough
Process completed with exit code 1.
hierarchy-builder
Process completed with exit code 1.
coq
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
mathcomp-bigenough
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coq-elpi
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
hierarchy-builder
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.