dev #39
Owner
No description provided.
manuel
added 9 commits 2025-09-02 00:56:38 +02:00
All checks were successful
Auto-Merge Dev / auto-merge-dev (push) Successful in 1m28s
Details
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 34s
Details
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m11s
Details
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m28s
Details
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m18s
Details
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m8s
Details
All checks were successful
Deploy Documentation Local / deploy-docs (push) Successful in 45s
Details
Deploy Documentation Local / deploy-docs (pull_request) Successful in 27s
Details
Merge pull request 'dev' (#39) from dev into master
Reference in New Issue
Block a user
No description provided.
Delete Branch "dev"
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?