buildbot: various fixes for our deployments #143

Merged
raito merged 4 commits from fix-buildbot into main 2024-10-18 23:22:54 +00:00

4 commits

Author SHA1 Message Date
raito bc12565a74 fix(buildbot): bring back the old Gerrit reporting
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-10-18 13:47:33 +02:00
raito aab4442770 fix(buildbot): use builder-9 as builder-10 is down
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-10-18 13:47:26 +02:00
raito 0341bf431a fix(buildbot): fix CORS properly
wildcards are not allowed in the headers.
We need to include credentials as well.

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-10-18 13:47:18 +02:00
raito 3f80464553 fix(buildbot): remove CORS wildcards for their precise Gerrit hosts
wildcards are not supported in CORS headers, so this design was quite
wrong actually.

We can just use the actual Gerrit hostname for now.

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-10-13 17:24:51 +02:00