search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
185 stars 39 forks source link

Graphviz renderings are broken #8

Closed hwayne closed 2 years ago

hwayne commented 2 years ago

B/c no graphviz on the build machines

hwayne commented 2 years ago

Fixed, though I don't want to also install firacode on the github action boxes so I should switch fonts