diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
index 25d87dff..88873279 100644
--- 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 }}