CI scripts

Jan Vrany via Gdb <[email protected]> Thu, 12 Jan 2023 12:56:43 +0000

Newsgroups	gmane.comp.gdb.devel
Message-ID	<[email protected]>

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