Don't try to show the server settings form to players who are not logged in #4103

Triggered via pull request January 20, 2024 10:32

synchronize #4387

Status Success

Total duration 3m 5s

Artifacts 5

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pullrequest.yml

on: pull_request

Produced during runtime