aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/record.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-21 10:35:06 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-21 10:35:06 +0200
commit3acc0f61ab0ab9fa807f81af7fa90bd98f660ce8 (patch)
tree8f9e82b6fe0cce342ffadcbb0d052ca951879448 /lib/kernel/record.ml
parent75ba0a85b82823c9b030ce2a1297b0ea4be7fee4 (diff)
downloadcolitur-3acc0f61ab0ab9fa807f81af7fa90bd98f660ce8.tar.gz
colitur-3acc0f61ab0ab9fa807f81af7fa90bd98f660ce8.zip
build: publish the latest tag, not strictly HEAD
Requiring HEAD to be exactly a tag made the target unusable: the commit that adds the download link to the README necessarily comes after the tag it links to. It now archives the most recent tag and says so when HEAD is ahead of it.
Diffstat (limited to 'lib/kernel/record.ml')
0 files changed, 0 insertions, 0 deletions