Closed OsirisTerje closed 6 months ago
These are no longer needed, as we can do everything we need with Github actions.
These are no longer needed, as we can do everything we need with Github actions.