ci: rename miri workflow

kleinesfilmroellchen · Oct 2, 2024 · 2b4ae46 · 2b4ae46
1 parent 93c8a8b
commit 2b4ae46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -1,4 +1,4 @@
-name: Check and test spcasm
+name: Test spcasm with miri
 
 on:
   schedule: