Merge branch 'main' into christiaan/reasoning

2026-09-19 01:51:21 +08:00 · 2026-02-23 11:13:56 +01:00
parent 253b5562a1 72d282bfa9
commit 01e6063344
2 changed files with 3 additions and 3 deletions
@@ -3,7 +3,7 @@ name: test
 on:
  push:
    branches:
-      - dev
+      - main
  pull_request:
  workflow_dispatch:
 jobs:
@@ -2,9 +2,9 @@ name: typecheck

 on:
  push:
-    branches: [dev]
+    branches:
+      - main
  pull_request:
-    branches: [dev]
  workflow_dispatch:

 jobs: