Remove unneeded building of client on every push

nsg-ethz · Jul 22, 2024 · a14762c · a14762c
1 parent b63f575
commit a14762c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -1,5 +1,5 @@
 name: CI Client builder
-on: [workflow_dispatch, push]
+on: [workflow_dispatch]
 jobs:
   build:
     runs-on: ubuntu-24.04