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

A new option for short names -- could potentially be useful generally #1565

Sign in to view logs

A new option for short names -- could potentially be useful generally

A new option for short names -- could potentially be useful generally #1565

Run time

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