Skip to content
Check Blogposts

chore: Set Dafny as the default language for syntax highlighting (#32) #120

Sign in to view logs

chore: Set Dafny as the default language for syntax highlighting (#32)

chore: Set Dafny as the default language for syntax highlighting (#32) #120

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
20m 16s
20m 16s