github/workflows: rename workflow to "lone"

Makes it easier to use with GitHub's command line tools. Having to quote the name of the workflow was really annoying.
lone-lang · Jun 9, 2024 · 2e5d44e · 2e5d44e
1 parent 7b70602
commit 2e5d44e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lone.yml b/.github/workflows/lone.yml
@@ -1,4 +1,4 @@
-name: Lone Lisp CI
+name: lone
 
 on:
   push: