5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jannis Portmann	136a9ff0ff	Fix building	2023-02-02 18:26:29 +01:00
Jannis Portmann	de1f6b96c7	Update CI	2023-02-02 18:17:16 +01:00
Jannis Portmann	ad7dcd1ee9	First formulas	2023-02-02 18:13:28 +01:00
Jannis Portmann	7c53a57dc4	Basic setup	2023-02-02 17:58:05 +01:00
Jannis Portmann	92753078b4	Initial commit	2023-02-02 17:07:34 +01:00