Disable push builds for now

mszabo-wikia · mszabo-wikia · commit d3e01b9eed92 · 2025-06-18T11:19:31.000+02:00
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -1,11 +1,6 @@
 name: Ubuntu CI
 
 on:
-  push:
-    branches-ignore:
-      # Exclude the push event for exported diffs, because the CI for export
-      # should have been covered by GitHub Actions triggered by pull requests.
-      - "export-D+"
   pull_request:
 
 concurrency:
