fix build by quoting line with stray colon

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

54 stars 123 forks source link

fix build by quoting line with stray colon #540

Closed bryangingechen closed 4 weeks ago

bryangingechen commented 4 weeks ago

fallout from #536

bryangingechen commented 4 weeks ago

It looks like CI didn't run on that PR automatically because it was from a fork. I've added a required check so that we remember to click the button to enable CI on such PRs.