Skip to content
CI

[test] Don't require math-comp to run the test suite. #400

Sign in to view logs

[test] Don't require math-comp to run the test suite.

[test] Don't require math-comp to run the test suite. #400

Triggered via pull request March 20, 2024 17:46
@ejgallegoejgallego
opened #399
remove_mc_test
Status Failure
Total duration 32m 2s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 7 warnings
build (4.10.x, test, coq.dev)
Process completed with exit code 255.
build (4.12.x, test, coq.dev)
Process completed with exit code 255.
build (4.09.x, test, coq.dev)
Process completed with exit code 255.
build (4.11.x, test, coq.dev)
Process completed with exit code 255.
build (4.13.x, test, coq.dev)
Process completed with exit code 255.
build (4.14.x, test, coq.dev)
Process completed with exit code 255.
build (4.13.1, test, true)
Process completed with exit code 255.
build (4.10.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.12.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.09.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.11.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.13.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.14.x, test, coq.dev)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (4.13.1, test, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.