Commit 835fc1376f47e63f073a967cb6190c194e1e63f2

Khaled Hosny 2021-09-15T14:14:04

[ci] Build ragel on the Linux CI job To make sure we don’t accidentally break this option.