develop #5
Owner
No description provided.
jwerwinski
added 2 commits 2026-06-23 15:36:11 +00:00
All checks were successful
CI / test (3.12) (pull_request) Successful in 48s
Details
CI / test (3.13) (pull_request) Successful in 44s
Details
CI / build-check (pull_request) Successful in 10s
Details
All checks were successful
Deploy preprod / test (3.12) (push) Successful in 44s
Details
Deploy preprod / test (3.13) (push) Successful in 42s
Details
Deploy preprod / build-and-deploy (push) Successful in 2m54s
Details
Deploy preprod / e2e (push) Successful in 10s
Details
CI / test (3.12) (pull_request) Successful in 45s
Details
CI / test (3.13) (pull_request) Successful in 46s
Details
CI / build-check (pull_request) Successful in 10s
Details
Merge pull request 'develop' (#5) from develop into main
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?