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

Triggered via pull request January 15, 2024 12:58
@fabiomadgefabiomadge
opened #32
default_syntax_highlighting
Status Success
Total duration 21m 27s
Artifacts –

main.yml

on: pull_request
build
21m 15s
build
Fit to window
Zoom out
Zoom in