MAINT: Switching CI pipeline triggering to the "trigger" keyword.
Canceled
Daniel Hornung
created pipeline for commit
65723c7e
, finished
1 related merge request: !38 Use "trigger" keyword for pipeline.