Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update scalafmt-core to 3.1.1 #123

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Update scalafmt-core to 3.1.1

4c6b28b
Select commit
Loading
Failed to load commit list.
Open

Update scalafmt-core to 3.1.1 #123

Update scalafmt-core to 3.1.1
4c6b28b
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Jan 20, 2024 in 1s

1 rule matches and 1 potential rule

✅ Rule: assign and label scala-steward's PRs (label)

  • author=nryanov-auto

Rule: automatically merge Scala Steward PRs on CI success (merge)

  • #commits-behind=0 [🛡 GitHub branch protection]
  • status-success=Scala 2.12.15, Java adopt@1.11
  • status-success=Scala 2.12.15, Java adopt@1.8
  • status-success=Scala 2.13.6, Java adopt@1.11
  • status-success=Scala 2.13.6, Java adopt@1.8
  • status-success=scalafmt (adopt@1.11, 2.13.6)
  • -closed [📌 merge requirement]
  • -conflict [📌 merge requirement]
  • -draft [📌 merge requirement]
  • -mergify-configuration-changed [📌 merge -> allow_merging_configuration_change setting requirement]
  • author=nryanov-auto

💖  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