Remove tests run on push on main (#16971)

Since tests are now run in the pre-merge queue with the latest main
version, they need not to be run again when merged into main, it would
be the exact same thing
This commit is contained in:
Marie
2026-01-06 18:53:08 +01:00
committed by GitHub
parent d53ec8f3c4
commit ceba0972cd
6 changed files with 7 additions and 17 deletions
+2 -4
View File
@@ -1,12 +1,10 @@
name: CI Server
on:
push:
branches:
- main
pull_request:
merge_group:
permissions:
contents: read