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

NO-JIRA Fix build-wrapper download URL #18

Merged
merged 1 commit into from
Sep 12, 2024

Conversation

7PH
Copy link
Contributor

@7PH 7PH commented Sep 12, 2024

Fixes the obsolete URL to download the build wrapper

@7PH 7PH force-pushed the bugfix/br/fix-build-wrapper-url branch from 6595670 to ab061ab Compare September 12, 2024 09:28
@7PH 7PH marked this pull request as draft September 12, 2024 09:29
@7PH 7PH force-pushed the bugfix/br/fix-build-wrapper-url branch from ab061ab to 4608ebb Compare September 12, 2024 09:29
@7PH 7PH marked this pull request as ready for review September 12, 2024 09:31
@7PH 7PH force-pushed the bugfix/br/fix-build-wrapper-url branch from 4608ebb to 689905c Compare September 12, 2024 10:01
@7PH 7PH force-pushed the bugfix/br/fix-build-wrapper-url branch 3 times, most recently from 56aa5f2 to 0d8c0fb Compare September 12, 2024 10:50
.github/workflows/tests.yml Outdated Show resolved Hide resolved
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added one comment because I expected the required changeset to be smaller.

I don't have a strong opinion about it, so feel free to merge. The only argument I could think of is that the URL is expected to be shorter for most users, so I would prefer to keep internal tests without it...

.github/workflows/tests.yml Outdated Show resolved Hide resolved
@7PH 7PH force-pushed the bugfix/br/fix-build-wrapper-url branch from 0d8c0fb to 35510a9 Compare September 12, 2024 12:04
@7PH 7PH merged commit 8f97678 into master Sep 12, 2024
12 checks passed
@7PH 7PH deleted the bugfix/br/fix-build-wrapper-url branch September 12, 2024 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants