CI: pick unique name for deployment workflow (#70)

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 30, 2024 · 150c202 · 150c202
1 parent 512263d
commit 150c202
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/camkes-vm-deploy.yml b/.github/workflows/camkes-vm-deploy.yml
@@ -4,7 +4,7 @@
 
 # CAmkES VM regression tests
 
-name: Camkes VM
+name: Deploy
 
 on:
   push: