For some mysterious reason, sometimes the OBS Scratch Build does not submit the latest changes.
I noticed this while working on the NVIDIA image, but I assumed it was a fluke, since we had so many other infra issues during those weeks.
However, it happened again today, with the AMD image, where the temporary GitHub branch is updated with my force push, but not OBS, OBS is still building the previous revision.
I'm not sure where the issue is, I did not try to debug anything.
For some mysterious reason, sometimes the OBS Scratch Build does not submit the latest changes.
I noticed this while working on the NVIDIA image, but I assumed it was a fluke, since we had so many other infra issues during those weeks.
However, it happened again today, with the AMD image, where the temporary GitHub branch is updated with my force push, but not OBS, OBS is still building the previous revision.
I'm not sure where the issue is, I did not try to debug anything.