Automate deployment of pull requests #15

Merged
tozh4728 merged 3 commits from branch-deploy into develop 2024-12-19 10:44:49 +01:00

3 Commits

Author SHA1 Message Date
1939a24c6e Document how the test servers work and how to use them
All checks were successful
Deploy to branch.dsv.su.se / deploy (pull_request) Successful in 33s
Build and test / build-and-test (push) Successful in 15m48s
Remove branch deployment from branch.dsv.su.se / cleanup (pull_request) Successful in 20s
2024-12-17 12:02:29 +01:00
24dc32306e Speed up Docker build by properly caching all dependencies in an earlier layer
All checks were successful
Deploy to branch.dsv.su.se / deploy (pull_request) Successful in 29s
Build and test / build-and-test (push) Successful in 15m47s
Forcing --offline while building to discover dependencies that have not been cached.
2024-12-17 11:09:41 +01:00
a2e56af3be Automatic deployment to branch.dsv.su.se 2024-12-17 11:09:41 +01:00