- Apr 22, 2024
-
-
peetzweg/ authored
-
- Oct 30, 2023
-
-
Yuri Volkov authored
Using a workflow to trigger mirroring instead of a webhook allows us to reuse "Approving workflow runs from public forks" GitHub feature to somewhat protect us from malicious PRs
-
- May 31, 2023
-
-
Mira Ressel authored
We're decomissioning the baremetal `linux-docker` runners.
-
- Feb 07, 2023
-
-
Alexander Theißen authored
-
Alexander Theißen authored
-
- Feb 06, 2023
-
-
Alexander Theißen authored
-
Sam Ruberti authored
Convert player name to Hex number, then calculate color index from that.
-
Alexander Theißen authored
-
Alexander Theißen authored
-
- Feb 05, 2023
-
-
Michael Müller authored
-
Michael Müller authored
-
Michael Müller authored
-
Sam Ruberti authored
-
Sam Ruberti authored
-
Michael Müller authored
-
Sam Ruberti authored
-
- Feb 04, 2023
-
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Michael Müller authored
-
Michael Müller authored
-
- Feb 03, 2023
-
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Sam Ruberti authored
-
- Feb 02, 2023
-
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Alexander Theißen authored
-
Michael Müller authored
-
Michael Müller authored
-
Michael Müller authored
-
Michael Müller authored
-