4 Commits

Author SHA1 Message Date
Stefan Kebekus
50952410a4 Working
Some checks failed
Create Release / Add Lean release tag (push) Has been cancelled
Lean Action CI / build (push) Has been cancelled
2025-09-29 14:53:44 +02:00
Stefan Kebekus
1bdaa2ce7b Working on talk 2025-09-27 15:10:58 +02:00
Stefan Kebekus
ea169e4c3e Initial checkout
Some checks failed
Lean Action CI / build (push) Has been cancelled
2025-09-15 14:41:27 +02:00
Stefan Kebekus
a7dfc781fd initial commit
Some checks failed
Lean Action CI / build (push) Has been cancelled
Create Release / Add Lean release tag (push) Has been cancelled
2025-09-15 11:15:39 +02:00