Commit d0e85f7
Track newest official release instead of hardcoded 8
distrib/8 no longer exists on the mirror. The old pipeline also
masked the curl failure, since a pipeline exits with awk's status,
so an empty version string was published. Walk the release dirs
newest first, take the first Official one, and fail loudly if none
parse.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>1 parent 981ead5 commit d0e85f7
1 file changed
Lines changed: 14 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
4 | | - | |
5 | | - | |
6 | | - | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
0 commit comments