mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4337fa | patch | commitdiff
vharseko
07.18.2022 06f70c6474a390a8b83f427a26bfe323b78dcca0
refs
author vharseko <vharseko@3a-systems.ru>
Wednesday, December 7, 2022 12:18 +0100
committer GitHub <noreply@github.com>
Wednesday, December 7, 2022 12:18 +0100
commit06f70c6474a390a8b83f427a26bfe323b78dcca0
tree 6dd546467e581de2b4c84b54583c29e7a7a8f3fb tree | zip | gz
parent 4337fa816406c6521e1bd203b1b8005d82fc762f view | diff 
FIX build: allow fail remove deb.sury.org on ubuntu 22 (#266)

3 files modified
30 ■■■■■ changed files
.github/workflows/build.yml 10 ●●●●● diff | view | raw | blame | history
.github/workflows/deploy.yml 10 ●●●●● diff | view | raw | blame | history
.github/workflows/release.yml 10 ●●●●● diff | view | raw | blame | history