Skip to content
Coq

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

Sign in to view logs

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

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

Triggered via pull request July 24, 2023 21:43
@0adb0adb
synchronize #348
0adb:dead-assignment-phase
Status Failure
Total duration 1h 5m 43s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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.