Merge branch 'master' into develop

2026-08-06 21:39:26 +00:00 · 2026-06-16 16:05:25 +01:00
parent f52b144c5f 3fad636880
commit e3397a9b02
4 changed files with 24 additions and 1 deletions
@@ -50,6 +50,12 @@ jobs:
    name: "Build .deb packages"
    runs-on: ubuntu-latest
    strategy:
+      # Prevent all Debian package builds from being cancelled
+      # when one of them fails. Especially helpful when things are
+      # flaky during a release.
+      #
+      # `fail-fast` defaults to true and applies to the entire test matrix
+      fail-fast: false
      matrix:
        distro: ${{ fromJson(needs.get-distros.outputs.distros) }}