Bram pushed to elo at Bram/Bot-Man-Toe
-
842d9d3da5 Royal game of Ur: forbid taking pieces on stars
Bram deleted branch bram/agent-of-chaos from Bram/Bot-Man-Toe
Bram deleted branch bram/sneaky-hotfix from Bram/Bot-Man-Toe
Bram pushed tag elo-tracker-1.0.1 to Bram/Bot-Man-Toe
Bram deleted tag elo-tracker-1.0.1 from Bram/Bot-Man-Toe
Bram pushed to elo at Bram/Bot-Man-Toe
-
94ea1ae2f0 HOTFIX: Enforce player's supported list of games
Bram pushed to bram/mute at Bram/Bot-Man-Toe
-
1881ab9598 Serve Mute agent as PyServer
Bram deleted branch bram/mute from Bram/Bot-Man-Toe
Bram pushed tag elo-tracker-1.0.1 to Bram/Bot-Man-Toe
Bram pushed tag agent/agent-of-chaos-1.0.1 to Bram/Bot-Man-Toe
Bram pushed to elo at Bram/Bot-Man-Toe
-
c9899c5d65 Merge branch 'bram/deployment' into elo
-
c004d9d3e7 Update PyServer Containerfile
- Compare 2 commits »
Bram pushed to elo at Bram/Bot-Man-Toe
-
220c956ba0 Improve AgentOfChaos documentation
-
194f962746 Introduce maximum number of turns
- Compare 2 commits »
Bram pushed to elo at Bram/Bot-Man-Toe
-
d7ac20a6dd Apply hotfixes from branch bram/sneaky-hotfix
-
1d78cdfd4d Ignore data files
-
36d5aa30fc Restrict participation to clients that want to participate
-
ca7bfdc50a Allow EloTracker to run matches for multiple games
-
e2daa9a205 Update EloTracker API to support multiple games
- Compare 6 commits »
Bram pushed tag agent/sneaky-1.0.0 to Bram/Bot-Man-Toe
Bram pushed to bram/sneaky-hotfix at Bram/Bot-Man-Toe
-
c0ebfaa2bd HOTFIX: Serve correct agent
Bram pushed to bram/sneaky-hotfix at Bram/Bot-Man-Toe
-
52ad1de7cd HOTFIX: Prevent RemoteAgent import to avoid needless dependency
Bram pushed to bram/sneaky-hotfix at Bram/Bot-Man-Toe
-
6ecb1101c8 HOTFIX: Import agents/ folder into container
Bram pushed to main at Bram/new-lang
-
0612e320b0 Improve proof readability
-
323b87189c Add List constructors & methods
- Compare 2 commits »