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

Triggered via push January 18, 2024 17:28
@fabiomadgefabiomadge
pushed e9d9ef6
main
Status Success
Total duration 20m 29s
Artifacts –

main.yml

on: push
build
20m 16s
build
Fit to window
Zoom out
Zoom in