From 519c65f1e206ad18987219df8a98902235ffa484 Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Sat, 4 Mar 2023 21:39:44 +0100
Subject: ci: fix gdbscript

---
 .github/workflows/gdbscript | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .github/workflows/gdbscript

(limited to '.github/workflows/gdbscript')

diff --git a/.github/workflows/gdbscript b/.github/workflows/gdbscript
deleted file mode 100644
index b5d161f6..00000000
--- a/.github/workflows/gdbscript
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env false
-
-set disable-randomization off
-catch throw
-run
-if $_isvoid ($_exitsignal)
-  quit $_exitcode
-end
-bt -entry-values if-needed -full -frame-arguments all
-quit 1
-- 
cgit v1.2.3