workflow #38

Merged
manuel merged 8 commits from feature/docs into dev 2025-09-02 00:55:31 +02:00
Owner
No description provided.
manuel added 1 commit 2025-09-02 00:11:22 +02:00
workflow
All checks were successful
Auto-Merge Dev / auto-merge-dev (push) Successful in 1m28s
523c147957
manuel added 1 commit 2025-09-02 00:13:37 +02:00
workflow
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 34s
f121899b3b
manuel added 1 commit 2025-09-02 00:16:30 +02:00
workflow
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m11s
c173cc3b3b
manuel added 1 commit 2025-09-02 00:20:15 +02:00
workflow
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m28s
a223dfc7c0
manuel added 2 commits 2025-09-02 00:46:41 +02:00
workflows
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m18s
1ded384fd7
manuel scheduled this pull request to auto merge when all checks succeed 2025-09-02 00:50:18 +02:00
manuel added 1 commit 2025-09-02 00:52:04 +02:00
--allow-unrelated-histories
Some checks failed
Auto-Merge Dev / auto-merge-dev (push) Failing after 1m8s
2360630544
manuel scheduled this pull request to auto merge when all checks succeed 2025-09-02 00:52:14 +02:00
manuel added 1 commit 2025-09-02 00:54:11 +02:00
manuel scheduled this pull request to auto merge when all checks succeed 2025-09-02 00:54:27 +02:00
manuel changed target branch from master to dev 2025-09-02 00:54:54 +02:00
manuel scheduled this pull request to auto merge when all checks succeed 2025-09-02 00:55:01 +02:00
manuel merged commit 750bcc81ef into dev 2025-09-02 00:55:31 +02:00
manuel deleted branch feature/docs 2025-09-02 00:55:32 +02:00
Sign in to join this conversation.
No description provided.