From 511d823c2dc2b917afed6a9c50ad940e5c58c5d5 Mon Sep 17 00:00:00 2001 From: Stanislaw Halik Date: Thu, 1 Dec 2022 12:45:48 +0100 Subject: ci: no need to disable randomization under gdb --- .github/workflows/gdbscript | 1 + 1 file changed, 1 insertion(+) (limited to '.github/workflows/gdbscript') diff --git a/.github/workflows/gdbscript b/.github/workflows/gdbscript index 6daff621..8330369a 100644 --- a/.github/workflows/gdbscript +++ b/.github/workflows/gdbscript @@ -1,5 +1,6 @@ #!/usr/bin/env false +set disable-randomization off run if $_isvoid ($_exitsignal) quit $_exitcode -- cgit v1.2.3