diff options
author | Christoph Berg | 2025-01-15 14:18:22 +0000 |
---|---|---|
committer | Christoph Berg | 2025-01-15 14:18:22 +0000 |
commit | fb1d1110b9fa03dd78570553716f3d2ec4dc2fd5 (patch) | |
tree | 9af3ec14622a6a6beb5d1fa2246a2860b2d2d211 | |
parent | 9af07071e8f82053c3058534fd264f7efc78ff52 (diff) |
Fix jenkins-plugin-updates job
-rw-r--r-- | jenkins/pgapt-jobs.yaml | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/jenkins/pgapt-jobs.yaml b/jenkins/pgapt-jobs.yaml index 0e1b8b1..ebd1719 100644 --- a/jenkins/pgapt-jobs.yaml +++ b/jenkins/pgapt-jobs.yaml @@ -968,11 +968,18 @@ triggers: - timed: "59 10 * * *" builders: + # this needs an API token in ~jenkins/.netrc: + # machine jengus.postgresql.org login admin password xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx + # and an ssh key in ~jenkins/.ssh/jenkins_ssh_cli: + # host jenkins + # hostname localhost + # port 5422 + # user admin + # IdentityFile ~/.ssh/jenkins_ssh_cli - shell: | : https://jengus.postgresql.org/pluginManager/ - # this broke in mid-March 2020, ignore errors for now - curl -f --netrc -X POST --header 'Referer: https://jengus.postgresql.org/pluginManager/checkUpdatesServer' https://pgdgbuild.dus.dg-i.net/pluginManager/checkUpdatesServer || : - ssh -i ~/.ssh/slave -p 2222 jenkins@localhost list-plugins > plugins.txt + curl -f --netrc -X POST --header 'Referer: https://jengus.postgresql.org/pluginManager/checkUpdatesServer' https://jengus.postgresql.org/pluginManager/checkUpdatesServer + ssh jenkins list-plugins > plugins.txt cat plugins.txt if grep ')$' plugins.txt; then : There are pending Jenkins plugin updates @@ -2417,7 +2424,6 @@ - sbuild-update-s390x - sbuild-update-x86 - stale-schroot-sessions - - update-jenkins-plugins columns: &view_columns - status - job |