Skip to content

Release v0.14#517

Draft
gtrevisan wants to merge 5 commits intomainfrom
dev
Draft

Release v0.14#517
gtrevisan wants to merge 5 commits intomainfrom
dev

Conversation

@gtrevisan
Copy link
Member

@gtrevisan gtrevisan commented Feb 11, 2026

@gtrevisan gtrevisan added the release New project releases label Feb 11, 2026
* cast file path to str before checking extension

* fixup! cast file path to str before checking extension
* revamp linting makefile, avoid pipes, track RCs and exit with total

* set bash in makefile, use NUL delimiters, keep KO as bool

* echo before shellchecking
* sort dataset by shot/time, log time for concat/sortby

* sort only if those coords are present

* similarly apply sortby when testing

* fix arg for sortby

* fixup! fix arg for sortby
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release New project releases

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant