Update Jenkins repository key.

This commit is contained in:
Jim Hague 2023-05-18 16:32:37 +01:00
parent 7b94baa6cd
commit 0c199cbb96
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
jenkins_repo:
pkgrepo.managed:
- name: deb https://pkg.jenkins.io/debian binary/
- key_url: https://pkg.jenkins.io/debian/jenkins.io.key
- key_url: https://pkg.jenkins.io/debian/jenkins.io-2023.key
- file: /etc/apt/sources.list.d/jenkins.list
java: