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

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

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 #1567

Run time

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