does not use custom package URLs in SetupDevEnv.jl after PR #5
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
SimeonEhrig
force-pushed
the
fixIntegrationTestDev
branch
from
0a17a84 to
09183af
Compare
- add gitlab CI attribute `interruptible: true` that CI can be aborted if a new commit was pushed to the same branch
SimeonEhrig
force-pushed
the
fixIntegrationTestDev
branch
2 times, most recently
from
0db5f12 to
45f8165
Compare
|
@szabo137 Can you please review it. When you merge, please add the following line to the commit message of the merge commit. It is for testing purpose (you can also a comment above).
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
After PR #3 I recognized, that lines starting with
CI_UNIT_PKG_URL_exist in the commit message of the merge request. This triggers accidentally custom URLs for packages in theSetupDevEnv.jlscript. Because it does not make any sense to use custom URLs on themainanddevbranch, this PR disable the feature for this branches.Add also gitlab CI attribute
interruptible: truethat CI can be aborted if a new commit was pushed to the same branch.