1. 801fa52 GitLab CI: Define cache, Maven options. by Matthias Benkard · 2 years ago
  2. 2b719e5 CI: Clean up some more. by Matthias Benkard · 2 years ago
  3. 833933a Clean up .gitlab-ci.yml. by Matthias Benkard · 2 years ago
  4. fa1c27b Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist by Matthias Benkard · 2 years ago
  5. dfd9850 Add GitLab CI for verification. by Matthias Benkard · 2 years ago