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: