tree 162b32af656c29df6c34aee69fa27b4340f61eca
parent a59e7ec9938cb8a927ea7b02aee8800c36d7d71a
author Khaled Hosny <khaled@aliftype.com> 1631708044 +0200
committer Behdad Esfahbod <behdad@behdad.org> 1631880734 -0600

[ci] Build ragel on the Linux CI job

To make sure we don’t accidentally break this option.