Skip to content
Build and test Karamel based on a FStar image

krml/Makefiles: unifying logic for detecting F* #1963

Sign in to view logs

krml/Makefiles: unifying logic for detecting F*

krml/Makefiles: unifying logic for detecting F* #1963

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
13m 3s
13m 3s