CI scripts

Jan Vrany via Gdb
2023-01-12T12:57:24Z

Hi Simon,

about a month ago when you helped me with use-after-free fix
you wrote:

> I ran the patch through my CI job, looks good.

I'm wondering whether the CI scripts for your job are available?
I'd like to setup a similar job on my CI to avoid similar problems
in future.

I'm especially interested in "configure ..." and "make check ..."
commands.

Thanks!

Jan