Skip to content

spring-loaded: update url#141326

Merged
BrewTestBot merged 2 commits into
Homebrew:masterfrom
Moisan:spring-loaded_update_url
Sep 4, 2023
Merged

spring-loaded: update url#141326
BrewTestBot merged 2 commits into
Homebrew:masterfrom
Moisan:spring-loaded_update_url

Conversation

@Moisan

@Moisan Moisan commented Sep 4, 2023

Copy link
Copy Markdown
Member
  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

repo.spring.io seems to only contain snapshots jars for spring-loaded.

This was the cause of one of the failures in #137124

@github-actions github-actions Bot added the java Java use is a significant feature of the PR or issue label Sep 4, 2023
@github-actions

github-actions Bot commented Sep 4, 2023

Copy link
Copy Markdown
Contributor

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions Bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Sep 4, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Sep 4, 2023
Merged via the queue into Homebrew:master with commit 353932d Sep 4, 2023
@Moisan Moisan deleted the spring-loaded_update_url branch September 4, 2023 02:17
@ZhongRuoyu ZhongRuoyu mentioned this pull request Sep 4, 2023
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. java Java use is a significant feature of the PR or issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants