tree ce6288aed25bf50a737bf23e85fc0c5ed343403f
parent 67f45f875269796e95ff1c7d498f9522b85344c6
author Tim Windelschmidt <tim@monogon.tech> 1753823136 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1753985496 +0000

build/analysis: copy cockroachdb code to third_party

We are currently fetching the full cockroach repository just for a hand
full of nogo passes. As the version we use is licensed under Apache 2.0,
we can copy them to third_party, allowing us to modify them and keep them
stable.

Change-Id: Ia28b181296138eef922485b6517d1e0066766715
Reviewed-on: https://review.monogon.dev/c/monogon/+/4486
Reviewed-by: Leopold Schabel <leo@monogon.tech>
Tested-by: Jenkins CI