runs a simple test via gitlab-ci to prepare for running a larger test suite there
assigned to @nickb
enabled an automatic merge when the pipeline for 5f1a40b9 succeeds
merged
mentioned in commit f72b5693