chore: better job name

leanprover · Sep 18, 2024 · 41cb79e · 41cb79e
1 parent 20b2327
commit 41cb79e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -6,7 +6,7 @@ on:
     - cron: '0 0 * * *'  # Run every day at midnight
 
 jobs:
-  update-toolchain:
+  nightly-test:
     runs-on: ubuntu-latest
 
     steps: