Skip to content
This repository has been archived by the owner on Aug 19, 2024. It is now read-only.

Basic Chisel6 Sequence Assertion Support #673

Merged
merged 12 commits into from
Sep 6, 2023

fix more warnings

a441234
Select commit
Loading
Failed to load commit list.
Merged

Basic Chisel6 Sequence Assertion Support #673

fix more warnings
a441234
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Sep 6, 2023 in 1s

5 potential rules

⚠️ The pull request has been merged by @ekiwi

Rule: automatic squash-and-merge on CI success and review (queue)

  • #approved-reviews-by>=1
  • label="Please Merge"
  • any of: [:twisted_rightwards_arrows: queue conditions]
    • all of: [:pushpin: queue conditions of queue default]
      • #approved-reviews-by>=1 [🛡 GitHub branch protection]
      • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by=0
  • -draft [:pushpin: queue requirement]
  • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
  • base=main
  • label!="DO NOT MERGE"
  • label!="bp-conflict"
  • status-success=all tests passed

Rule: backport to 0.5.x (backport)

  • milestone=0.5.x
  • base=main
  • merged
  • merged [:pushpin: backport requirement]

Rule: backport to 0.5.x (label)

  • milestone=0.5.x
  • base=main
  • merged

Rule: backport to 0.3.x, 0.5.x (backport)

  • milestone=0.3.x
  • base=main
  • merged
  • merged [:pushpin: backport requirement]

Rule: backport to 0.3.x, 0.5.x (label)

  • milestone=0.3.x
  • base=main
  • merged

💖  Mergify is proud to provide this service for free to open source projects.

🚀  You can help us by becoming a sponsor!


2 not applicable rules

Rule: automatic squash-and-mege of 0.3.x backport PRs (queue)

  • base=0.3.x
  • label="Backport"
  • any of: [:twisted_rightwards_arrows: queue conditions]
    • all of: [:pushpin: queue conditions of queue default]
      • #approved-reviews-by>=1 [🛡 GitHub branch protection]
      • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by=0
  • -draft [:pushpin: queue requirement]
  • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
  • label!="DO NOT MERGE"
  • label!="bp-conflict"
  • status-success=all tests passed

Rule: automatic squash-and-mege of 0.5.x backport PRs (queue)

  • base=0.5.x
  • label="Backport"
  • any of: [:twisted_rightwards_arrows: queue conditions]
    • all of: [:pushpin: queue conditions of queue default]
      • #approved-reviews-by>=1 [🛡 GitHub branch protection]
      • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by=0
  • -draft [:pushpin: queue requirement]
  • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
  • label!="DO NOT MERGE"
  • label!="bp-conflict"
  • status-success=all tests passed
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