Skip to content

Merge branch 'CI_fix' into 'master'

Michal Kreps requested to merge cherry-pick-356289e3 into Sim10

Fix CI to be able to work out modified/new files

See merge request !1628 (merged)

(cherry picked from commit 356289e3)

49d97e29 Fix CI to be able to work out modified/new files

Merge request reports