From 5d97a5934509d044a4a406d83e7711cbcf2310ff Mon Sep 17 00:00:00 2001 From: Stephen Gutekanst Date: Mon, 30 May 2022 19:15:12 -0700 Subject: [PATCH] CI: use shorter M1 CI name Signed-off-by: Stephen Gutekanst --- .github/workflows/m1_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/m1_ci.yml b/.github/workflows/m1_ci.yml index 26d9b8ec..67ca099f 100644 --- a/.github/workflows/m1_ci.yml +++ b/.github/workflows/m1_ci.yml @@ -1,4 +1,4 @@ -name: M1 CI +name: CI on: # SECURITY: This must be a push event only, otherwise our M1 mac runner would be compromised by # third-party pull requests which could run arbitrary code. This way, we can restrict it to