Skip to content
Coq

[do not merge] work-in-progress dead code elimination #1102

Sign in to view logs

[do not merge] work-in-progress dead code elimination

[do not merge] work-in-progress dead code elimination #1102

Triggered via pull request June 28, 2023 19:08
@0adb0adb
synchronize #348
0adb:dead-assignment-phase
Status Failure
Total duration 33m 32s
Artifacts –

coq.yml

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

Annotations

2 errors
build (8.16.0)
Process completed with exit code 2.
build (master)
Process completed with exit code 2.