mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 30006d | patch | commitdiff
Valery Kharseko
yesterday 91fcddb2d3bc7be859d60c062089ed947f480dd1
refs
author Valery Kharseko <vharseko@3a-systems.ru>
Sunday, September 27, 2026 10:55 +0200
committer GitHub <noreply@github.com>
Sunday, September 27, 2026 10:55 +0200
commit91fcddb2d3bc7be859d60c062089ed947f480dd1
tree b4e4ffea93b37c6b6f89d170d0c3591261d16e6e tree | zip | gz
parent 30006ddc8dfbb952734d138055e814c4a31d7859 view | diff 
Refresh the Windows launchers only when their code changes, not their toolchain stamp (#1103)
3 files modified
3 files added
360 ■■■■■ changed files
.github/scripts/refresh-launchers.sh 35 ●●●●● diff | view | raw | blame | history
.github/scripts/same-pe-code.py 163 ●●●●● diff | view | raw | blame | history
.github/scripts/test-refresh-launchers.sh 121 ●●●●● diff | view | raw | blame | history
.github/workflows/build.yml 13 ●●●●● diff | view | raw | blame | history
.github/workflows/deploy.yml 23 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/build-tools/windows/Makefile 5 ●●●●● diff | view | raw | blame | history