sh_discord_bot/bot/tools/set_version
edraft d0b4a390f0
All checks were successful
Deploy prod on push / pre-build (push) Successful in 2s
Deploy prod on push / build-bot (push) Successful in 2m34s
Deploy prod on push / build-web (push) Successful in 1m25s
Deploy prod on push / deploy (push) Successful in 20s
Handle realm names better
2025-01-10 15:34:21 +01:00
..
__init__.py Moved folders #405 2023-11-03 08:12:21 +01:00
application.py Formatted stuff #405 2023-11-03 08:12:21 +01:00
git_service.py Moved folders #405 2023-11-03 08:12:21 +01:00
main.py Moved folders #405 2023-11-03 08:12:21 +01:00
set-version.json Handle realm names better 2025-01-10 15:34:21 +01:00
startup.py Formatted stuff #405 2023-11-03 08:12:21 +01:00
version_setter_service.py Formatted stuff #405 2023-11-03 08:12:21 +01:00