2026-11-03 19:05:20 +00:00
1 changed files with 2 additions and 2 deletions
@@ -6,12 +6,12 @@ name: ci

 on:
  push:
-    branches: [main, "ci/**"]
-  pull_request:
+    branches: [main]
  workflow_dispatch:

 jobs:
  test:
+    if: gitea.ref == 'refs/heads/main'
    runs-on: ubuntu24.04-x64-lean4.35
    timeout-minutes: 20
    steps: