Skip to content

merge main into develop - #4

Merged
ThomasCross merged 65 commits into
developfrom
main
Sep 10, 2026
Merged

ThomasCross merged 65 commits into
developfrom
main

Conversation

@ThomasCross

Copy link
Copy Markdown
Owner

No description provided.

ThomasCross and others added 30 commits June 30, 2026 13:50
Updated workflow to include linting step and support for 'develop' branch.
ThomasCross and others added 29 commits August 14, 2026 12:52
feat: edit seeds and datasets in webui, ruff 0.16 update
Add quotes around the piped plugins.

As the pipe symbol is used in the shell, the un-quoted plugins lead to the later being run on the output of whole spikee command rather than as a piped plugin.
Docs: update 4. Plugins.md piping error
…rovements

dev: update release and test workflows
…rovements2

dev: update release workflow to merge develop into release contents
fix: pin ruff version to 0.16.6 in release and test workflows
@ThomasCross
ThomasCross merged commit cfb2b6f into develop Sep 10, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants