small update to "prod" site #22
Owner
No description provided.
hilbert
added 4 commits 2026-09-13 21:15:43 +02:00
All checks were successful
Build and Deploy / build_production (push) Has been skipped
Details
Build and Deploy / build_development (push) Successful in 40s
Details
All checks were successful
Build and Deploy / build_production (push) Has been skipped
Details
Build and Deploy / build_development (push) Successful in 37s
Details
All checks were successful
Build and Deploy / build_production (push) Has been skipped
Details
Build and Deploy / build_development (push) Successful in 47s
Details
Merge pull request 'small update to "prod" site' (#22) from develop into master
Loading…
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?