• Joined on 2025-01-14
martin pushed to master at martin/configs 2025-04-23 09:53:56 +02:00
martin pushed to master at martin/configs 2025-04-23 09:51:25 +02:00
martin pushed to master at martin/configs 2025-04-23 09:50:22 +02:00
martin pushed to master at martin/configs 2025-04-23 09:49:21 +02:00
martin pushed to master at martin/configs 2025-04-23 09:48:48 +02:00
ee998324fe support external redis access
martin pushed to master at martin/configs 2025-04-02 12:38:33 +02:00
7c605017c5 cloudflare_ip
Compare 2 commits »
martin pushed to master at martin/configs 2025-04-02 12:37:22 +02:00
ec04a96771 cloudflare_ip
martin pushed to master at martin/configs 2025-04-02 09:11:13 +02:00
f62b4a1050 certbot
martin pushed to master at martin/configs 2025-04-02 08:48:49 +02:00
315b7901e0 minor
martin pushed to master at martin/configs 2025-04-02 08:47:28 +02:00
7e62df6ad9 change solver domain
martin pushed to master at martin/configs 2025-02-12 07:37:11 +01:00
d32b2b5bd1 Referees Collect | switch port
martin pushed to master at martin/configs 2025-01-20 16:40:58 +01:00
martin pushed to master at martin/configs 2025-01-20 16:39:31 +01:00
6caeced0f0 port update
martin pushed to master at martin/configs 2025-01-20 16:32:30 +01:00
4b1d19b858 new dns
martin pushed to master at martin/configs 2025-01-20 16:27:19 +01:00
martin pushed to master at martin/configs 2025-01-20 16:20:39 +01:00
86ee0f48d4 solver interface
martin pushed to main at martin/research 2025-01-14 14:30:45 +01:00
f24241f851 Cleaning
martin created branch main in martin/research 2025-01-14 10:15:19 +01:00
martin pushed to main at martin/research 2025-01-14 10:15:19 +01:00
7ae9cc2a36 some CHL
859e17cf5a UPDATES
e50d566327 UEFA MATCH API
33ba6b819d Update
c583dd4d7e add counterexamples
Compare 10 commits »
martin created repository martin/research 2025-01-14 10:14:37 +01:00