Skip to content

Rename `typ` argument.

Mergify / Summary succeeded Oct 12, 2023 in 2s

1 rule matches and 1 potential rule

Rule: Automatic merge on approval (merge)

  • #approved-reviews-by>=1 [πŸ›‘ GitHub branch protection]
  • #changes-requested-reviews-by=0 [πŸ›‘ GitHub branch protection]
  • -conflict [:pushpin: merge requirement]
  • -draft [:pushpin: merge requirement]
  • -mergify-configuration-changed [:pushpin: merge -> allow_merging_configuration_change setting requirement]
  • branch-protection-review-decision=APPROVED [πŸ›‘ GitHub branch protection]
  • label=CI: Ready to merge
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=license/cla
    • check-neutral=license/cla
    • check-skipped=license/cla
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Native GUI tests (linux)
    • check-neutral=Native GUI tests (linux)
    • check-skipped=Native GUI tests (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Cancel Previous Runs
    • check-neutral=Cancel Previous Runs
    • check-skipped=Cancel Previous Runs
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Build GUI (WASM) (linux)
    • check-neutral=Build GUI (WASM) (linux)
    • check-skipped=Build GUI (WASM) (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Lint (linux)
    • check-neutral=Lint (linux)
    • check-skipped=Lint (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Build GUI (WASM) (windows)
    • check-neutral=Build GUI (WASM) (windows)
    • check-skipped=Build GUI (WASM) (windows)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=WASM GUI tests (linux)
    • check-neutral=WASM GUI tests (linux)
    • check-skipped=WASM GUI tests (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Test Formatting
    • check-neutral=Test Formatting
    • check-skipped=Test Formatting
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Engine (linux)
    • check-neutral=Engine (linux)
    • check-skipped=Engine (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Engine (windows)
    • check-neutral=Engine (windows)
    • check-skipped=Engine (windows)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Build Backend (windows)
    • check-neutral=Build Backend (windows)
    • check-skipped=Build Backend (windows)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Build Backend (linux)
    • check-neutral=Build Backend (linux)
    • check-skipped=Build Backend (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Changelog
    • check-neutral=Changelog
    • check-skipped=Changelog
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Package New IDE (windows)
    • check-neutral=Package New IDE (windows)
    • check-skipped=Package New IDE (windows)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Package New IDE (linux)
    • check-neutral=Package New IDE (linux)
    • check-skipped=Package New IDE (linux)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Package Old IDE (windows)
    • check-neutral=Package Old IDE (windows)
    • check-skipped=Package Old IDE (windows)
  • any of: [πŸ›‘ GitHub branch protection]
    • check-success=Package Old IDE (linux)
    • check-neutral=Package Old IDE (linux)
    • check-skipped=Package Old IDE (linux)

Rule: Automatic PR update (update)

  • #commits-behind>0 [:pushpin: update requirement]
  • -closed [:pushpin: update requirement]
  • any of:
    • label=CI: Keep up to date

πŸ’–Β Β Mergify is proud to provide this service for free to open source projects.

πŸš€Β Β You can help us by becoming a sponsor!


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com