Release 1.3.5 #5
Owner
No description provided.
michael
added 3 commits 2026-02-01 21:22:01 +01:00
All checks were successful
/ lint (push) Successful in 22s
Details
/ test (push) Successful in 1m5s
Details
/ setup (push) Has been skipped
Details
/ build (push) Has been skipped
Details
/ publish (push) Has been skipped
Details
/ release (push) Has been skipped
Details
All checks were successful
/ test (push) Successful in 19s
Details
/ lint (push) Successful in 1m6s
Details
/ setup (push) Successful in 16s
Details
/ build (push) Successful in 1m2s
Details
/ publish (push) Successful in 1s
Details
/ release (push) Successful in 16s
Details
michael
scheduled this pull request to auto merge when all checks succeed 2026-02-01 21:22:10 +01:00
Merge pull request 'Release 1.3.5' (#5) from develop into master
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "develop"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?