tree 105ff0bb1da3db8dfa5934069d5e9ccef604df62
parent 619029b4ec9b2908baf8f873b34ba4800738f12d
author Leopold Schabel <leo@nexantic.com> 1653597822 +0200
committer Leopold Schabel <leo@monogon.tech> 1653641315 +0000

build/ci: vote on Verified label

See internal discussion:
https://monogon.discourse.team/t/replacing-prolog-rules-by-submit-requirements/41/5

Change-Id: Id68b7153cb0ec4018ab95222cf659a79f01ef291
Reviewed-on: https://review.monogon.dev/c/monogon/+/746
Tested-by: Jenkins CI
Reviewed-by: Sergiusz Bazanski <serge@monogon.tech>