Skip to content
Check Blogposts

chore: Set Dafny as the default language for syntax highlighting #119

Sign in to view logs

chore: Set Dafny as the default language for syntax highlighting

chore: Set Dafny as the default language for syntax highlighting #119

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
21m 15s
21m 15s