aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorMerel Jossart <merel.jossart@outlook.com>2023-07-25 17:06:04 +0200
committerNumkil <merel.jossart@outlook.com>2023-07-25 18:30:47 +0200
commit734cc4e94aec64c8cb3504711978c51b092f2542 (patch)
tree9fefc137ab7124c3b5892a418e334033aa764e13 /.github/workflows
parentea028fe0b55fa15523e85e72d36c78665080d5e3 (diff)
Fix bug when server not explicitely defined in configuration but installed
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions