mirror of
https://github.com/actions/setup-java.git
synced 2025-06-29 04:24:14 +00:00
Extended settings.xml - Profiles with Repo
This commit is contained in:
parent
f4f1212c88
commit
c56ba51237
4 changed files with 150 additions and 4 deletions
|
@ -13,6 +13,11 @@ export const INPUT_SETTINGS_PATH = 'settings-path';
|
|||
export const INPUT_OVERWRITE_SETTINGS = 'overwrite-settings';
|
||||
export const INPUT_GPG_PRIVATE_KEY = 'gpg-private-key';
|
||||
export const INPUT_GPG_PASSPHRASE = 'gpg-passphrase';
|
||||
export const INPUT_REPO_ID = 'repo-id';
|
||||
export const INPUT_REPO_URL = 'repo-url';
|
||||
export const INPUT_REPO_NO_SNAPSHOTS = 'no-snapshots';
|
||||
export const INPUT_USE_CENTRAL = 'use-central';
|
||||
export const INPUT_PRIORITIZE_CENTRAL = 'prioritize-central';
|
||||
|
||||
export const INPUT_DEFAULT_GPG_PRIVATE_KEY = undefined;
|
||||
export const INPUT_DEFAULT_GPG_PASSPHRASE = 'GPG_PASSPHRASE';
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue