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

change z3 version to 4.13.3 #1949

Sign in to view logs

change z3 version to 4.13.3

change z3 version to 4.13.3 #1949

Run time

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