sh_discord_bot/bot/tools
Sven Heidemann 9bed89ed60
All checks were successful
Deploy prod on push / pre-build (push) Successful in 10s
Deploy prod on push / build-bot (push) Successful in 4m19s
Deploy prod on push / build-web (push) Successful in 2m49s
Deploy prod on push / deploy (push) Successful in 30s
Fixed level by server id
2024-10-29 18:38:09 +01:00
..
checks Fixed level by server id 2024-10-29 18:38:09 +01:00
get_version Fixed level by server id 2024-10-29 18:38:09 +01:00
migration_to_sql Fixed level by server id 2024-10-29 18:38:09 +01:00
post_build Fixed level by server id 2024-10-29 18:38:09 +01:00
set_version Fixed level by server id 2024-10-29 18:38:09 +01:00