diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 10:35:06 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 10:35:06 +0200 |
| commit | 3acc0f61ab0ab9fa807f81af7fa90bd98f660ce8 (patch) | |
| tree | 8f9e82b6fe0cce342ffadcbb0d052ca951879448 /lib/kernel/names.ml | |
| parent | 75ba0a85b82823c9b030ce2a1297b0ea4be7fee4 (diff) | |
| download | colitur-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/names.ml')
0 files changed, 0 insertions, 0 deletions