Commit 2a5f5c02 authored by Andreas Marek's avatar Andreas Marek

Fix typo in CI script

parent 752c51b1