Added `ols-nightly` package to provide Odin Language Server
Title is self explanatory.
Added an ols-nightly package which access to nightly builds for the DanielGavin/ols tool.
I would have provided a ols-dev and ols package but the main releases do not appear to have artifacts attached. I am looking into adding those into the aforementioned repository via a pull request.
- [x] I have read the Contributing Guide.
All changes look good.
Wait for review from human collaborators.
ols-nightly
- [x] Description
- [x] License
- [x] Hashes
- [x] Checkver
- [x] Autoupdate
Would it be better to use a version format like 20250928-g4a2a71e?
"version": "20250928-g4a2a71e",
"checkver": {
"url": "https://github.com/DanielGavin/ols/releases/tag/nightly",
"regex": "datetime=\"(?<year>[0-9]{4})-(?<month>[0-9]{2})-(?<day>[0-9]{2})(.*\\n)*?.*/commit/(?<commit>[0-9a-f]{7})",
"replace": "${year}${month}${day}-g${commit}"
},
Would it be better to use a version format like
20250928-g4a2a71e?"version": "20250928-g4a2a71e", "checkver": { "url": "https://github.com/DanielGavin/ols/releases/tag/nightly", "regex": "datetime=\"(?<year>[0-9]{4})-(?<month>[0-9]{2})-(?<day>[0-9]{2})(.*\\n)*?.*/commit/(?<commit>[0-9a-f]{7})", "replace": "${year}${month}${day}-g${commit}" },
Possibly? I'm not opposed to making this change/update though, at this point, I've kind of lost both interest in this change and hope that it will ever get merged/accepted.
If this suggestion will get this PR moving I'll happily make it.
I've kind of lost both interest in this change and hope that it will ever get merged/accepted.
Thank you for your patience, and sorry for the long wait.
If this suggestion will get this PR moving I'll happily make it.
I've made the changes mentioned above and it's ready to be merged.
/verify
All changes look good.
Wait for review from human collaborators.
ols-nightly
- [x] Lint
- [x] Description
- [x] License
- [x] Hashes
- [x] Checkver
- [x] Autoupdate
@z-Fng
Thank you for your patience, and sorry for the long wait.
Hey, we got there in the end! That's what ultimately matters, I think!
I've made the changes mentioned above and it's ready to be merged.
Appreciate it! Glad to see this get merged in finally!
Cheers!