Skip to content
Back to pull request #95

adapt to MC#1256 #111

Sign in to view logs

adapt to MC#1256

adapt to MC#1256 #111

Triggered via pull request August 19, 2024 11:39
@TragicusTragicus
opened #95
Status Failure
Total duration 8m 14s
Artifacts –

nix-action-coqmaster+mcmaster.yml

on: pull_request_target
coq
4m 10s
coq
coq-elpi
1m 33s
coq-elpi
mathcomp-bigenough
3m 42s
mathcomp-bigenough
hierarchy-builder
41s
hierarchy-builder
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-abel
0s
mathcomp-abel
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
mathcomp-bigenough
Process completed with exit code 1.
coq
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. 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 use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
hierarchy-builder
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. 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 use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/