Commit 9a9da110a54ea03a0bdd1e64fa9ff7a2b98ba53c
2020-10-17T17:58:11
[CI] Don’t install ragel on circleci jobs Latest ragel version is broken (https://github.com/adrian-thurston/ragel/issues/56), but we also don’t need to regenerate state machine on CI jobs.