Merge branch 'main' into dev/grendel/as-on-windows

grendello · grendello · commit 6cfea8d2b70a · 2024-03-01T19:02:03.000+01:00
* main: [ci] Disable automatic GitHub action trigger (#16)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,12 +3,7 @@ env:
   BUILD_DIR: xa-build
 
 on:
-  push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
-
-  workflow_dispatch:
+  workflow_dispatch
 
 jobs:
   build_llvm_linux:
