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

And generalize the mutability analysis to variants, fix printing #1724

Sign in to view logs

And generalize the mutability analysis to variants, fix printing

And generalize the mutability analysis to variants, fix printing #1724

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8m 28s
8m 28s