remove temporarily-added push trigger

2026-07-23 08:07:06 +02:00 · 2026-05-12 11:22:26 -07:00
parent 48c0c622f1
commit ffbf2a059a
1 changed files with 0 additions and 4 deletions
@@ -4,10 +4,6 @@ on:
  schedule:
  - cron: 30 4 * * *
  workflow_dispatch:
-  push:
-    branches:
-    # Add this temporarily to see these tests running; remove before merging!
-    - convert-nightly-pipeline

 jobs:
  # The first four jobs could be grouped in a separate workflow, but the github actions UI