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

Don't resolve names that correspond to a type abbreviation -- resolvi… #1865

Sign in to view logs

Don't resolve names that correspond to a type abbreviation -- resolvi…

Don't resolve names that correspond to a type abbreviation -- resolvi… #1865

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 47s
4m 47s