Skip to content
GitLab
Explore
Sign in
bob
bob.devtools
Merge requests
!266
[ci] Run on machines with the "bob" tag, closes #88
Code
Review changes
Check out branch
Download
Patches
Plain diff
André Anjos
requested to merge
use-bob-tag-on-ci
into
master
Oct 25, 2021
Overview
0
Commits
1
Pipelines
1
Changes
8
Expand
Merge request reports