Skip to content
Coq

Support for let bindings in fiat2->bedrock2 expression compiler #1137

Sign in to view logs

Support for let bindings in fiat2->bedrock2 expression compiler

Support for let bindings in fiat2->bedrock2 expression compiler #1137

Triggered via pull request July 26, 2023 23:03
@psvenkpsvenk
synchronize #359
psvenk:pylevellang
Status Failure
Total duration 22m 41s
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 (master)
Process completed with exit code 2.
build (8.16.0)
Process completed with exit code 2.