Skip to content
Coq

dead code elimination optimization #1311

Sign in to view logs

dead code elimination optimization

dead code elimination optimization #1311

Triggered via pull request March 7, 2024 21:08
@0adb0adb
synchronize #393
0adb:dead-assignment-v2
Status Failure
Total duration 50m 45s
Artifacts –

coq.yml

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

Annotations

2 errors and 2 warnings
build (8.18.0)
Process completed with exit code 2.
build (master)
Process completed with exit code 2.
build (8.18.0)
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 (master)
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/.