Skip to content
Nix CI for bundle coq8.17-mc2.2.0

Typos in the doc thanks to CPP referee #20

Sign in to view logs

Typos in the doc thanks to CPP referee

Typos in the doc thanks to CPP referee #20

Triggered via push November 18, 2024 20:44
@hiverthivert
pushed 92e0c7d
master
Status Success
Total duration 21m 9s
Artifacts –

nix-action-coq8.17-mc2.2.0.yml

on: push
coq
39s
coq
coq-combi
20m 6s
coq-combi
mathcomp
14m 54s
mathcomp
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
coq
The following actions use a deprecated Node.js version 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
The following actions use a deprecated Node.js version 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-combi
The following actions use a deprecated Node.js version 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/