dev #7
Owner
No description provided.
WorldTeacher
added 2 commits 2025-11-25 09:21:50 +00:00
Some checks failed
PR tests / build-image (pull_request) Failing after 2m19s
Details
PR tests / smoke-tests (pull_request) Has been skipped
Details
WorldTeacher
added 1 commit 2025-11-25 09:41:57 +00:00
Some checks failed
PR tests / build-image (pull_request) Failing after 1m27s
Details
PR tests / smoke-tests (pull_request) Has been skipped
Details
WorldTeacher
added 1 commit 2025-11-25 09:46:30 +00:00
Some checks failed
PR tests / build-image (pull_request) Successful in 1m15s
Details
PR tests / smoke-tests (pull_request) Failing after 31s
Details
WorldTeacher
added 1 commit 2025-11-25 09:48:49 +00:00
All checks were successful
PR tests / build-image (pull_request) Successful in 1m15s
Details
PR tests / smoke-tests (pull_request) Successful in 37s
Details
/ build (pull_request) Has been skipped
Details
Merge pull request 'dev' (#7) from dev into main
Reference in New Issue
Block a user
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?