dev #14
Owner
No description provided.
Mathis
added 13 commits 2026-01-20 10:07:41 +01:00
Some checks failed
Lint / lint (backend) (push) Failing after 2m22s
Details
Backend Tests / test (push) Successful in 2m47s
Details
Lint / lint (documentation) (push) Successful in 1m11s
Details
Lint / lint (frontend) (push) Successful in 1m9s
Details
Some checks failed
Lint / lint (backend) (push) Failing after 52s
Details
Backend Tests / test (push) Successful in 1m15s
Details
Lint / lint (frontend) (push) Successful in 1m10s
Details
Lint / lint (documentation) (push) Successful in 2m39s
Details
All checks were successful
Lint / lint (documentation) (push) Successful in 1m18s
Details
Lint / lint (backend) (push) Successful in 1m21s
Details
Backend Tests / test (push) Successful in 1m23s
Details
Lint / lint (frontend) (push) Successful in 1m10s
Details
Lint / lint (backend) (pull_request) Successful in 1m20s
Details
Lint / lint (documentation) (pull_request) Successful in 1m22s
Details
Backend Tests / test (pull_request) Successful in 1m24s
Details
Lint / lint (frontend) (pull_request) Successful in 1m10s
Details
Merge pull request 'dev' (#14) from dev into prod
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?