Bump dev & update gh workflows (#724)

2026-04-23 08:28:02 +00:00 · 2023-03-03 11:21:34 +02:00
parent 6629fc6a11
commit dcef4deb2a
7 changed files with 129 additions and 145 deletions
@@ -10,7 +10,7 @@ jobs:
    steps:
      - uses: jacogr/action-merge@d2d64b4545acd93b0a9575177d3d215ae3f92029
        with:
-          checks: build,lint,test
+          checks: pr (build),pr (lint),pr (test)
          labels: -auto
          strategy: squash
          token: ${{ secrets.GH_PAT_BOT }}