mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 21588b | patch | commitdiff
vharseko
03.04.2023 8e5a2da13fac479fbc06afa8ce42939fb79efe5f
refs
author vharseko <vharseko@3a-systems.ru>
Friday, March 3, 2023 19:04 +0100
committer GitHub <noreply@github.com>
Friday, March 3, 2023 19:04 +0100
commit8e5a2da13fac479fbc06afa8ce42939fb79efe5f
tree c63e9222c500d19dada51b07cc6a9b7d7a0b943c tree | zip | gz
parent 21588be09ca477a931dddd6281740033de9d25ec view | diff 
FIX build with Installation failure for grub-efi-amd64-signed on ubuntu-latest

https://github.com/actions/runner-images/issues/7192
3 files modified
6 ■■■■■ changed files
.github/workflows/build.yml 2 ●●●●● diff | view | raw | blame | history
.github/workflows/deploy.yml 2 ●●●●● diff | view | raw | blame | history
.github/workflows/release.yml 2 ●●●●● diff | view | raw | blame | history