13 Commits

Include renames

Author	SHA1	Message	Date
TentativeConvert	a191c47b8e	update queue of pre-loaded games	2024-12-10 14:28:30 +01:00
Matvey Lorkish	045b1ea3fb	Merge pull request #261 from leanprover-community/stats ... feat: improved stat logging	2024-10-25 08:08:18 +02:00
matlorr	dc6f7b2822	Specify that logs should be created relative to the current working directory.	2024-10-21 08:02:08 +00:00
matlorr	2022fa9a44	Added logging game-access data	2024-10-11 09:10:39 +00:00
Jon Eugster	b77afebe0a	add sample	2024-10-01 14:54:13 +02:00
matlorr	4ac38ef7dd	Refactored stats.sh to display approx. cpu usage and mem usage in .csv format	2024-10-01 08:28:07 +00:00
Jon Eugster	6a8abf41bd	implement stats script	2024-09-29 14:02:56 +02:00
Jon Eugster	ebd7268421	feat: add option to display server capacity	2024-09-26 18:07:25 +02:00
Jon Eugster	ad1add5264	support translations of the games	2024-03-27 00:22:51 +01:00
Jon Eugster	36bc52c960	add logic game to landing page	2024-01-22 13:31:43 +01:00
Jon Eugster	7114a8c4cb	fix: remove tmp files after import	2024-01-15 12:15:12 +01:00
Jon Eugster	5aa0764844	add comment	2023-12-12 14:42:02 +01:00
Jon Eugster	527f58e3a4	separate lean server from socket server	2023-12-09 22:42:40 +01:00