Merge pull request #1206 from sthibaul/manual-trigger

CI: allow manual triggers