philipp

0 Followers · 0 Following

• Joined on 2023-11-18

Repositories

8

Projects Packages Public Activity Starred Repositories

1

philipp pushed to main at philipp/risp 2024-10-17 20:00:15 +02:00

b2b820005e proper schedule

philipp created pull request philipp/risp#38 2024-10-17 19:58:41 +02:00

Update laws

philipp deleted branch update-branch from philipp/risp 2024-10-17 19:57:29 +02:00

philipp pushed to main at philipp/risp 2024-10-17 19:56:56 +02:00

477bd05cb4 push

philipp pushed to main at philipp/risp 2024-10-17 19:53:19 +02:00

6c65fcc9ac push

philipp deleted branch update-branch from philipp/risp 2024-10-17 19:09:54 +02:00

philipp pushed to main at philipp/risp 2024-10-17 19:09:25 +02:00

6fe3c2498a push

philipp deleted branch update-branch from philipp/risp 2024-10-17 19:05:27 +02:00

philipp pushed to main at philipp/risp 2024-10-17 19:02:52 +02:00

8b9bc24324 push

philipp deleted branch update-branch from philipp/risp 2024-10-17 19:01:03 +02:00

philipp pushed to main at philipp/risp 2024-10-17 18:59:40 +02:00

ef90fd8f42 push

philipp pushed to main at philipp/risp 2024-10-17 18:51:35 +02:00

035f72c264 try regular ci

philipp pushed to main at philipp/risp 2024-10-17 18:46:56 +02:00

479826be38 try regular ci

philipp pushed to main at philipp/risp 2024-10-17 18:42:33 +02:00

a68dc72639 push

philipp pushed to main at philipp/risp 2024-10-17 18:37:38 +02:00

7a63deaa79 try regular ci

philipp pushed to main at philipp/risp 2024-10-17 18:34:04 +02:00

64cae8373a try regular ci

philipp pushed to main at philipp/risp 2024-10-17 18:21:50 +02:00

46b65ec150 allow multi-line in par_notes; format doctests

philipp pushed to main at philipp/risp 2024-10-17 16:02:14 +02:00

fe1b80eb9a add kartellg in cache :-)

philipp pushed to main at philipp/website-risg 2024-10-17 16:01:15 +02:00

556017f553 Add kartellg & faster deploy

philipp pushed to main at philipp/risp 2024-10-17 15:56:55 +02:00

bebdf3a015 Add kartellg