phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,085 Commits
19 Branches
10 Tags
34 MiB

Default Branch

main

61ed224788 · added fork info to readme · Updated 1 year ago

Branches

check_upload_size

7503739c22 · Add line of contact for upload issues and set reserve disc space as environment variable. · Updated 1 year ago
3
5
add_game_knights

49062cc3d5 · add new game · Updated 1 year ago
5
0
 Included
server_capacity

92665b7521 · Merge branch 'main' into server_capacity · Updated 1 year ago
7
0
 Included
stats

dc6f7b2822 · Specify that logs should be created relative to the current working directory. · Updated 2 years ago
33
0
 Included
dev

92acdb7f85 · wip · Updated 2 years ago
71
77
bump_v4.8.0

446d0296f0 · partial bump to v4.8.0: simple fixes · Updated 2 years ago
61
1
v4.6.0-bump

ce739078b9 · fixes for v4.6.0-rc1 · Updated 2 years ago
161
2
wasm2

afae75e41f · some stuff · Updated 2 years ago
216
1
joneugster-patch-1-1

cc89e78e4c · Create troubleshoot.md · Updated 2 years ago
204
0
 Included
joneugster-patch-1

c533a635c2 · Update docs · Updated 2 years ago
204
0
 Included
v4.5.0-bump

406c2799b1 · bump to v4.5.0-rc1 · Updated 2 years ago
207
0
 Included
nowatchdog

2e09526484 · $/game/setInventory no longer needed · Updated 3 years ago
217
11
mobile-option

391285e5cc · Merge branch 'dev' into mobile-option · Updated 3 years ago
231
1
cleanup_stuff

8c39fb6664 · cleanup; including using doc comment syntax for documentation like TacticDoc · Updated 3 years ago
239
0
 Included
world_overviews

bb214f426b · Merge branch 'dev' into world_overviews · Updated 3 years ago
240
2
wasm

bb8be70bcb · error: Tried to spawn a new thread, but · Updated 3 years ago
328
14
better-timeout

bea342b2c7 · work on network interruption errors · Updated 3 years ago
342
2
ubuntu-test

78ef3e0755 · test ubuntu-20.04 · Updated 3 years ago
404
1