Skip to content
Build vellvm

fixed last denotation theory proofs. Need to severe the llvmparams mo… #869

Sign in to view logs

fixed last denotation theory proofs. Need to severe the llvmparams mo…

fixed last denotation theory proofs. Need to severe the llvmparams mo… #869

Triggered via push April 15, 2024 13:12
@YaZkoYaZko
pushed 979d659
gmap-wip
Status Failure
Total duration 1m 41s
Artifacts –

test.yml

on: push
tests
1m 31s
tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
tests
Process completed with exit code 1.