Age | Commit message (Expand) | Author |
---|---|---|
2024-03-04 | gitlab-ci: no longer modify repo shebang | Rogerio Guerra Borin |
2023-05-02 | gitlab-ci: refactor | Max Krummenacher |
2023-05-02 | update ci script with tezi manifests | Philippe Schenker |
2021-07-08 | add gitlab-ci | Max Krummenacher |