Merge branch '1.12' into 1.13

* 1.12:
  [Maintenance][CI] Allow manually dispatching unstable workflow
This commit is contained in:
Grzegorz Sadowski 2023-04-04 07:21:19 +02:00
commit 15a80a1f40
No known key found for this signature in database
GPG key ID: EF87FF4E6E3BD364

View file

@ -8,7 +8,12 @@ on:
required: false
type: boolean
default: false
workflow_dispatch: ~
workflow_dispatch:
inputs:
ignore-failure:
description: "Don't fail on error"
type: boolean
default: false
concurrency:
group: ci-${{ github.workflow }}-${{ github.ref }}-unstable