Closed jku closed 2 months ago
This is not immediately required but at some point:
I'll take this: if we add a github action, then we should pin everything down so the action runs stay reproducible
This is not immediately required but at some point: