Skip to content
Coq

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

Sign in to view logs

Support for let bindings in fiat2->bedrock2 expression compiler

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

Triggered via pull request August 16, 2023 23:09
@psvenkpsvenk
synchronize #359
psvenk:pylevellang
Status Failure
Total duration 20m 41s
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.