Phillip Webb 9af19370a6 Backport build and CI concerns ...

Backport build and CI concerns primarily related to repo.spring.io
changes and Docker config.

2023-05-10 23:29:30 -07:00

..

build-pr-project.sh

…

build-project-windows.bat

Add .gitattributes

2021-10-28 15:27:49 +02:00

build-project.sh

Polish "Add Java 16 CI pipeline"

2021-03-05 17:42:06 +00:00

common.sh

Use Docker Hub mirror consistently on CI and avoid unneeded log in

2022-05-17 09:57:36 +01:00

detect-docker-updates.sh

Rename Spring Buildmaster account to Spring Builds

2021-08-25 18:20:13 +02:00

detect-jdk-updates.sh

Backport build and CI concerns

2023-05-10 23:29:30 -07:00

detect-ubuntu-image-updates.sh

Backport build and CI concerns

2023-05-10 23:29:30 -07:00

generate-changelog.sh

…

promote.sh

…

publish-gradle-plugin.sh

…

publish-to-sdkman.sh

…

stage.sh

…

update-homebrew-tap.sh

Backport build and CI concerns

2023-05-10 23:29:30 -07:00