Merge branch 'main' into feat/plan-mode-telemetry

This commit is contained in:
Marian Alexandru Alecu
2026-02-23 12:15:33 +02:00
committed by GitHub
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -3,7 +3,7 @@ name: test
on:
push:
branches:
- dev
- main
pull_request:
workflow_dispatch:
jobs:
+2 -2
View File
@@ -2,9 +2,9 @@ name: typecheck
on:
push:
branches: [dev]
branches:
- main
pull_request:
branches: [dev]
workflow_dispatch:
jobs: