Sebastian Rittau c6affbb804 [CI] Pin Ubuntu in third party stubtest (#12846) ...

This fixes a problem with gdb changing between the Ubuntu versions.

2024-10-18 12:09:05 +02:00

..

workflows

[CI] Pin Ubuntu in third party stubtest (#12846)

2024-10-18 12:09:05 +02:00

renovate.json

Minor improvements to renovate config (#11790)

2024-04-19 17:54:18 +01:00