chore: Set Dafny as the default language for syntax highlighting (#32) · dafny-lang/blog@e9d9ef6

Triggered via push January 18, 2024 17:28

Status Success

Total duration 43s

Artifacts 1

jekyll.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.17 MB