Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

[ci skip] ci: allow prs from nightly and beta to go into release #784

Open
wants to merge 3 commits into
base: nightly
Choose a base branch
from

Conversation

derklaro
Copy link
Member

Motivation

Currently only prs from "nightly" can be merged into the "release" branch without the prbranch worklow failing. This is incorrect as prs from beta into release should be permitted as well.

Modification

Allow prs from branch "beta" to target "release" by excluding beta and nightly from the check.

Result

PRs from beta can now be created to target release without ci failures.

### Motivation
Sponge provides a downloads api which allows to query the latest version of a sponge artifact. This is much nicer and removes the need to manually ensure that the download url of the sponge versions are always up-to-date.

### Modification
Remove hardcoded sponge download urls from versions.json and replaced them with an install step which fetches the latest version from the sponge downloads api.

### Result
Easy ensure that the downloaded version is always the latest one instead of relying on manual updates.
@derklaro derklaro added v: 4.X This pull should be included in the 4.0 release t: ci A pull request or issue regarding our ci setup (currently github actions) labels Aug 15, 2022
@derklaro derklaro added this to the 4.0.0-RC2 milestone Aug 15, 2022
@derklaro derklaro requested a review from 0utplay August 15, 2022 09:58
@derklaro derklaro self-assigned this Aug 15, 2022
@derklaro derklaro added the s: blocked Please do not merge, the pull request is not ready yet / waiting for something which is required label Aug 19, 2022
@derklaro derklaro removed this from the 4.0.0-RC2 milestone Aug 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
s: blocked Please do not merge, the pull request is not ready yet / waiting for something which is required t: ci A pull request or issue regarding our ci setup (currently github actions) v: 4.X This pull should be included in the 4.0 release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant