Rename benchmark in CI.
commit15bf01cd63d63e655e8fa90bc986f3dd29a38bff
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 22 Feb 2021, 21:38 (6 years ago)
parent56a6478
.github/workflows/ci.yml+1−1
@@ -193,7 +193,7 @@ jobs:
193193 ! grep -q ": *[Ww]arning:" build.log || exit 1
194194 cabal v2-test --disable-optimization
195195
196− linux/benchmark:
196+ benchmark:
197197
198198 runs-on: ubuntu-18.04
199199 strategy: