phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 61ed224788 added fork info to readme main Antonio De Lucreziis 2025-02-08 19:39:28 +0000
  • 39137f6d0b some docs Antonio De Lucreziis 2025-02-08 19:34:06 +0100
  • cd5870347b feat: added dockerfile and dockercompose Antonio De Lucreziis 2025-02-08 19:33:17 +0100
  • 4d5f259270
         Merge 7503739c22 into 50bf73a0c5 #288 Matvey Lorkish 2025-02-07 15:45:49 +0000
  • 7503739c22 Add line of contact for upload issues and set reserve disc space as environment variable. #288 check_upload_size matlorr 2025-02-07 09:43:35 +0100
  • a3efce30c0
         Merge f870672032 into 50bf73a0c5 #279 Federico Dal Pio Luogo 2025-02-01 23:01:43 +0000
  • 2f009705f3
         Merge 686b3b6261 into 50bf73a0c5 #274 Bulhwi Cha 2025-02-01 02:15:12 +0000
  • 836bd56e9a Implement function to check if uploaded game will exceed allocated server memory. matlorr 2025-01-31 16:17:24 +0100
  • 1050c8b24f Merge branch 'main' into check_upload_size matlorr 2025-01-31 09:22:32 +0100
  • 39be2aa8e3 Update git ignore matlorr 2025-01-31 09:21:56 +0100
  • 020bb52250
         Merge 268817c422 into 50bf73a0c5 #285 Tristan F.-R. 2025-01-30 09:43:32 -0800
  • 00745953f6
         Merge 5b81566ba0 into 50bf73a0c5 #266 miguelmarco 2025-01-30 10:03:00 +0000
  • 673b092c4e
         Merge c05477a06e into 50bf73a0c5 #262 Andrii Kurdiumov 2025-01-30 10:02:59 +0000
  • 50bf73a0c5
         Update publish_game.md Jon Eugster 2025-01-30 11:02:20 +0100
  • 39d7af9d3e
         Merge pull request #287 from leanprover-community/add_game_knights Jon Eugster 2025-01-27 11:13:36 +0100
  • 49062cc3d5 add new game #287 add_game_knights Jon Eugster 2025-01-26 14:29:54 +0100
  • 268817c422 fix(relay): create logs directory before logging attempt #285 Tristan F. 2025-01-25 18:41:49 -0800
  • f75389e93f
         Merge pull request #283 from leanprover-community/server_capacity Matvey Lorkish 2025-01-24 14:33:01 +0100
  • 92665b7521 Merge branch 'main' into server_capacity #283 server_capacity matlorr 2025-01-24 13:52:18 +0100
  • 1845644e86 Extract fetching of stats and perform it every 2 seconds matlorr 2025-01-24 13:51:28 +0100
  • 341a9ae14b
         Merge pull request #281 from leanprover-community/server_capacity Matvey Lorkish 2025-01-10 12:18:14 +0100
  • 0895821baa Merge branch 'main' into server_capacity #281 matlorr 2025-01-10 12:15:28 +0100
  • 5b0715629a Adjust memory to be approx. the same as by htop matlorr 2025-01-10 12:11:06 +0100
  • 39e08194f6
         Merge pull request #280 from leanprover-community/server_capacity Matvey Lorkish 2025-01-10 10:16:09 +0100
  • 451dc262b2 Fixed display error of server capacity by performing rounding as last step. #280 matlorr 2025-01-10 10:13:36 +0100
  • f870672032 Italian localization #279 Federico 2025-01-08 21:12:12 +0100
  • 686b3b6261 update translated segments in OmegaT project #274 Bulhwi Cha 2024-12-14 10:23:44 +0900
  • dd6a1380a1 correct mistranslation of names Bulhwi Cha 2024-12-13 18:17:46 +0900
  • 6a74766690 Added logic to check if artifact to-be-downloaded does not exceed defined disc space threshold matlorr 2024-12-28 14:56:29 +0100
  • 52898d93e7 Fix turning stats to zero by casting them to int before multiplying. matlorr 2024-12-28 11:13:11 +0100
  • 5f30572741 Merge branch 'main' of github.com:leanprover-community/lean4game matlorr 2024-12-28 10:10:14 +0100
  • 76f2414bd5 Refactor stats.sh to be more efficient. matlorr 2024-12-28 10:08:53 +0100
  • f1f9325c54 update gitignore Jon Eugster 2024-12-22 11:18:00 +0100
  • bd3375ada7 Create CPU-usage script matlorr 2024-12-20 17:09:12 +0100
  • 64f34acd7a TMP: set github token ADAM 2023-12-01 13:19:46 +0000
  • ae38ad977a
         update redirects TentativeConvert 2024-12-10 14:35:27 +0100
  • a191c47b8e
         update queue of pre-loaded games TentativeConvert 2024-12-10 14:28:30 +0100
  • 0e58e81875 parse CPU/MEM usage as integer. Jon Eugster 2024-11-25 12:38:16 +0100
  • f0aa6b58ed Edits on landing page, with updates to German & Spanish translations. Marcus Zibrowius 2024-11-08 16:51:38 +0100
  • 045b1ea3fb
         Merge pull request #261 from leanprover-community/stats Matvey Lorkish 2024-10-25 08:08:18 +0200
  • dc6f7b2822 Specify that logs should be created relative to the current working directory. #261 stats matlorr 2024-10-21 08:02:08 +0000
  • db5ac7ed15
         Merge pull request #269 from chabulhwi/fix-korean Jon Eugster 2024-10-20 15:02:13 +0200
  • 6a0e739301
         Merge pull request #267 from chabulhwi/update-npm-deps Jon Eugster 2024-10-20 14:55:14 +0200
  • ed96cf9534
         Merge pull request #268 from chabulhwi/add-translation-keys Jon Eugster 2024-10-20 14:54:13 +0200
  • 64670d1579 fix `config.json` and add Korean translation #269 Bulhwi Cha 2024-10-17 19:44:16 +0900
  • 25141b9613 add some translation keys Bulhwi Cha 2024-10-17 19:38:22 +0900
  • ab9d0d0679 add some translation keys #268 Bulhwi Cha 2024-10-17 19:38:22 +0900
  • 6dca770dbf update npm deps #267 Bulhwi Cha 2024-10-17 19:32:36 +0900
  • 2022fa9a44 Added logging game-access data matlorr 2024-10-11 09:10:39 +0000
  • 5b81566ba0
         Hide locked inventory items #266 miguelmarco 2024-10-10 10:28:39 +0200
  • 92acdb7f85 wip dev Jon Eugster 2024-10-10 09:33:43 +0200
  • c05477a06e Add Ukrainian translation #262 Andrii Kurdiumov 2024-10-05 16:34:29 +0500
  • b77afebe0a add sample Jon Eugster 2024-10-01 14:54:13 +0200
  • 4ac38ef7dd Refactored stats.sh to display approx. cpu usage and mem usage in .csv format matlorr 2024-10-01 08:28:07 +0000
  • 6a8abf41bd implement stats script Jon Eugster 2024-09-29 14:02:56 +0200
  • 1466a41169 fix fetch url for stats Jon Eugster 2024-09-29 12:43:51 +0200
  • 3cdb9a026b fix stats Jon Eugster 2024-09-29 12:39:09 +0200
  • ebd7268421 feat: add option to display server capacity Jon Eugster 2024-09-26 18:07:17 +0200
  • 64ad36dd4f wip Jon Eugster 2024-09-12 12:02:20 +0200
  • af15982804
         Merge pull request #260 from 0417taehyun/feat/generate-structure-of-korean-document Jon Eugster 2024-09-07 20:15:16 +0200
  • 5a404a9a58 Generate translation.json of Korean #260 Taehyun Lee 2024-09-07 21:16:18 +0900
  • cebea6a6aa Add Korean on config.json Taehyun Lee 2024-09-07 21:14:59 +0900
  • 629091f455 feat: Initialize Korean document by using config.json #259 Taehyun Lee 2024-09-07 18:10:36 +0900
  • 3a885245ae WIP implementing new editor Jon Eugster 2024-08-28 13:11:52 +0200
  • 36499c0257 add note for servers with different base url Jon Eugster 2024-08-27 14:52:20 +0200
  • 545ac8b0f7 grey-out locked items Jon Eugster 2024-08-26 22:50:29 +0200
  • 5a09776b5b npm audit fix Jon Eugster 2024-08-20 16:48:35 +0200
  • 8c5e47dd7b improve doc, adaptation of #250 Jon Eugster 2024-07-31 17:13:24 +0200
  • 38cac494ab fix maximal recursion in useEffect Jon Eugster 2024-07-31 16:29:03 +0200
  • 5b6f5f0db7 adding keys Jon Eugster 2024-07-31 16:28:51 +0200
  • 3c3792e09b
         Merge 395b8b19a1 into 67090f53fa #251 ndcroos 2024-07-28 22:17:51 +0000
  • 395b8b19a1 vite changes #251 ndcroos 2024-07-29 00:17:39 +0200
  • a46840d327
         Merge pull request #253 from pitmonticone/fix-typos Jon Eugster 2024-07-25 06:50:11 +0200
  • f518efc81c Update LetIntros.lean #253 Pietro Monticone 2024-07-24 11:06:26 +0200
  • 9b93e3817d Update RpcHandlers.lean Pietro Monticone 2024-07-24 11:06:24 +0200
  • 54c1e0dcaf Update FileWorker.lean Pietro Monticone 2024-07-24 11:06:22 +0200
  • 2c1e69611b Update Commands.lean Pietro Monticone 2024-07-24 11:06:21 +0200
  • 2c22c445b1 Update AbstractCtx.lean Pietro Monticone 2024-07-24 11:06:19 +0200
  • b6b31a06ac Update README.md Pietro Monticone 2024-07-24 11:06:16 +0200
  • 911ef00f45 Work on option to create a github issue from the game. ndcroos 2024-07-17 20:52:56 +0200
  • f0132b8642 Adding link #250 Jad 2024-07-14 10:44:41 +0300
  • 8a61ad6e5d trying to centralize information Jad 2024-07-13 20:58:08 +0300
  • 2e1a35ecd0 Latex Doc improvements Jad 2024-07-13 20:38:50 +0300
  • 255839fea7
         Merge pull request #248 from Lean-zh/main Jon Eugster 2024-07-12 10:00:26 +0200
  • b961030db2
         Update hints.md Jon Eugster 2024-07-12 09:54:02 +0200
  • c20d807d5c add default language configuration #248 rexwzh 2024-07-11 01:26:06 +0800
  • 23c8099401
         Merge pull request #244 from RexWzh/main Jon Eugster 2024-06-25 17:01:18 +0200
  • 6bd9e95db9 update zh-translation #244 rexwzh 2024-06-23 13:53:19 +0800
  • fbe48d26c5 add support for diags in chat Jon Eugster 2024-06-20 13:14:47 +0200
  • d05767d74c add dev version of new typewriter input Jon Eugster 2024-06-18 17:37:28 +0200
  • aab6dbb329 cleanup Jon Eugster 2024-06-18 16:10:54 +0200
  • 5310e69d98 cleanup Jon Eugster 2024-06-18 16:00:42 +0200
  • 67090f53fa add basic infos to inventory Jon Eugster 2024-06-18 15:40:35 +0200
  • 1febc51791
         Update create_game.md Jon Eugster 2024-06-13 11:46:01 +0200
  • d53b57a764
         Update create_game.md Jon Eugster 2024-06-13 11:45:33 +0200
  • 020b4f7803
         Update create_game.md Jon Eugster 2024-06-13 11:43:07 +0200
  • 0ae099414c
         Update create_game.md Jon Eugster 2024-06-13 10:39:31 +0200
  • 2896237772 css Jon Eugster 2024-06-13 10:05:12 +0200
  • 30d9b881b9 use GoalsTab in editor mode Jon Eugster 2024-06-12 19:40:08 +0200
  • 937c4714dd update game info Jon Eugster 2024-06-12 18:57:50 +0200