assume lobbies and users are sorted by id #844

Triggered via push October 14, 2024 08:58

release

Status Success

Total duration 1m 16s

Artifacts 1

deploy-pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	33 MB