Deploy

#86 - put grammar terminals in typst raw font #16

Triggered via push February 12, 2025 21:36

main

Status Success

Total duration 2m 1s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.44 MB