cosmetics in .yml

Certora · Dec 12, 2024 · 2750091 · 2750091
1 parent ecc0cd6
commit 2750091
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
@@ -1,4 +1,4 @@
-name: certora
+name: certora-basic
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}