From c4e4b37fdf61a500a94d2208b92d6f6be8b000cf Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sat, 10 Feb 2024 14:02:39 +1100
Subject: [PATCH] github: update name of deployment workflow

Disambiguate from seL4Test runs on pull requests.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/sel4test-deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/sel4test-deploy.yml b/.github/workflows/sel4test-deploy.yml
index 69b1b5a48..122c365a9 100644
--- a/.github/workflows/sel4test-deploy.yml
+++ b/.github/workflows/sel4test-deploy.yml
@@ -4,7 +4,7 @@
 
 # Deploy default.xml to sel4test-manifest after successful runs.
 
-name: seL4Test
+name: Deploy
 
 on:
   push: