Release 1.2.7 #10
Owner
- Fix refs to repos
- Rename assets
- Update workflow
- Fix refs to repos
- Rename assets
- Update workflow
michael
added 5 commits 2026-08-22 11:33:00 +02:00
Some checks failed
/ test (push) Failing after 4s
Details
/ lint (push) Failing after 4s
Details
/ setup (push) Has been skipped
Details
/ build (push) Has been skipped
Details
/ release (push) Has been skipped
Details
/ publish (push) Has been skipped
Details
Some checks failed
/ test (push) Successful in 9s
Details
/ lint (push) Successful in 12s
Details
/ setup (push) Successful in 3s
Details
/ build (push) Failing after 5s
Details
/ release (push) Has been skipped
Details
/ publish (push) Has been skipped
Details
All checks were successful
/ test (push) Successful in 9s
Details
/ lint (push) Successful in 11s
Details
/ setup (push) Successful in 3s
Details
/ build (push) Successful in 6s
Details
/ publish (push) Successful in 2s
Details
/ release (push) Successful in 6s
Details
All checks were successful
/ test (push) Successful in 9s
Details
/ lint (push) Successful in 11s
Details
/ setup (push) Successful in 3s
Details
/ build (push) Successful in 6s
Details
/ publish (push) Successful in 2s
Details
/ release (push) Successful in 9s
Details
All checks were successful
/ test (push) Successful in 9s
Details
/ lint (push) Successful in 10s
Details
/ setup (push) Successful in 3s
Details
/ build (push) Successful in 6s
Details
/ publish (push) Successful in 2s
Details
/ release (push) Successful in 5s
Details
michael
scheduled this pull request to auto merge when all checks succeed 2026-08-22 11:33:13 +02:00
Merge pull request 'Release 1.2.7' (#10) 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?