mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 19:26:45 +00:00
Rename benchmark in CI.
This commit is contained in:
@@ -193,7 +193,7 @@ jobs:
|
||||
! grep -q ": *[Ww]arning:" build.log || exit 1
|
||||
cabal v2-test --disable-optimization
|
||||
|
||||
linux/benchmark:
|
||||
benchmark:
|
||||
|
||||
runs-on: ubuntu-18.04
|
||||
strategy:
|
||||
|
||||
Reference in New Issue
Block a user