search

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

Correct yaml of event name #368

Closed oliver-butterley closed 1 year ago

oliver-butterley commented 1 year ago

Event name contained a colon and I forgot to add quotes. Oops!

Mends the build failure see here [https://github.com/leanprover-community/leanprover-community.github.io/actions/runs/6287865482]

"yaml.scanner.ScannerError: mapping values are not allowed here in "data/events.yaml", line 1, column 34"