[ci] Fix a syntax error in CI config

lowRISC / manticore

Apache License 2.0

16 stars 13 forks source link

[ci] Fix a syntax error in CI config #97

Closed mcy closed 3 years ago

mcy commented 3 years ago

Modifying the CI configs apparently has hardly any guardrails. I have yet to find how to make it impossible to merge changes to configuration with syntax errors.