Skip to content

Merge pull request #70 from GEWIS/feature/fix-github-runners #12

Merge pull request #70 from GEWIS/feature/fix-github-runners

Merge pull request #70 from GEWIS/feature/fix-github-runners #12

Annotations

1 warning

Build and push Docker image

succeeded Mar 4, 2024 in 49s