Skip to content

CI updates

Nikos Mavrogiannopoulosrequested to merge
tmp-ci-updates into master

Minor CI updates.

Checklist

  • Code modified for feature

Reviewer's checklist:

  • There is a test suite reasonably covering new functionality or modifications
  • Function naming, parameters, return values, types, etc., are consistent with other code
  • This feature/change has adequate documentation added
  • No obvious mistakes in the code

Merge request reports