Fixed CI.

3 jobs for ci/artifact-pldi2022 in 19 minutes and 27 seconds (queued for 4 seconds)