diff options
author | Vincent Ambo <mail@tazj.in> | 2021-03-21T12·46+0200 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2021-03-21T13·01+0000 |
commit | 2b42afa8005ebb7410ef05c0b3c79a28f335097e (patch) | |
tree | fd8e0c81ed0abb91eb2392fa6f36143a24e4a9ca /third_party/rapidcheck | |
parent | 39c400fa09374a0bbf11f5b4d1a480b1cde4606f (diff) |
chore(3p/gerrit_plugins): Build plugins separately in CI r/2304
Change-Id: I76aeaa879e43b1fd08440f60a4f320bb7b48c6ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/2630 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/rapidcheck')
0 files changed, 0 insertions, 0 deletions