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

Minor tweak to pass-by-ref to deal with array-returning functions (no… #988

Sign in to view logs

Minor tweak to pass-by-ref to deal with array-returning functions (no…

Minor tweak to pass-by-ref to deal with array-returning functions (no… #988

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 23s
6m 23s