Skip to content

Commit a9b1893

Browse files
derSteFfijvoisin
authored andcommitted
update hoard to current (2025-07-18) HEAD
hoard has not released any version since 2019 but development is ongoing. Our CI failures seem to be fixed upstream, so switch to current HEAD
1 parent ac42159 commit a9b1893

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

build-bench-env.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ readonly version_dh=master
4141
readonly version_ff=master # ~unmaintained since 2021
4242
readonly version_fg=master # ~unmaintained since 2018
4343
readonly version_gd=master # ~unmaintained since 2021
44-
readonly version_hd=5afe855 # 3.13 #a43ac40 #d880f72 #9d137ef37
44+
readonly version_hd=6577c22b # HEAD as of 2025-07-18, no release since 2019
4545
readonly version_hm=11
4646
readonly version_iso=1.2.5
4747
readonly version_je=5.3.0

0 commit comments

Comments
 (0)