From 15bf01cd63d63e655e8fa90bc986f3dd29a38bff Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 22 Feb 2021 21:38:58 -0800
Subject: Rename benchmark in CI.

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 10ff8dcf8..b1a5e3b0f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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:
-- 
cgit v1.2.3