Skip to content
Vellvm Compilation Test

A little bit of poking at lemmas. Patch makefile to only use necessary #208

Sign in to view logs

A little bit of poking at lemmas. Patch makefile to only use necessary

A little bit of poking at lemmas. Patch makefile to only use necessary #208

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-20.04, 8.19.1, 4.14.1-flambda)
24m 25s
24m 25s