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

Triggered via push January 18, 2024 17:28

fabiomadge

main

Status Success

Total duration 43s

Artifacts 1

jekyll.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.17 MB