It seems that CI is not enabled for this new repo, when writing `trigger build` nothing happens - see for example https://github.com/DUNE/dunetrigger/pull/16.
It seems that CI is not enabled for this new repo, when writing
trigger buildnothing happens - see for example #16.