merge main into next

2026-11-06 14:22:15 +00:00 · 2023-10-19 12:34:00 +02:00
parent b5564572bc
commit bd23a7a56f
107 changed files with 1321 additions and 554 deletions
@@ -40,6 +40,7 @@ jobs:
        uses: actions/cache/restore@v3
        id: cache
        timeout-minutes: 1
+        continue-on-error: true
        name: restore previous results
        with:
          key: unit-test-${{ inputs.core_cache_key }}