Skip to content
Update copyright notices

Server: Don't warn when no --serverinfo is provided #764

Sign in to view logs

Server: Don't warn when no --serverinfo is provided

Server: Don't warn when no --serverinfo is provided #764

Run time

Learn about OS pricing on GitHub Actions
Job Run time
delete-old-pr-branch
0s
check-and-update-copyright-notices
0s
0s