From ffb1a4521c92b8bc04b1ad7f1f2455d1bdc13da0 Mon Sep 17 00:00:00 2001 From: Jan Haller Date: Mon, 4 Nov 2024 23:24:26 +0100 Subject: [PATCH] (undo ci runners) --- .github/workflows/full-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/full-ci.yml b/.github/workflows/full-ci.yml index d12121d1d..5df3bf0b8 100644 --- a/.github/workflows/full-ci.yml +++ b/.github/workflows/full-ci.yml @@ -9,7 +9,7 @@ name: Full CI on: merge_group: -# push: + push: env: