From db7d2ef4ade54c870ac3053c8579a71e8c0bba8e Mon Sep 17 00:00:00 2001 From: Jan Haller Date: Sun, 3 Nov 2024 23:06:53 +0100 Subject: [PATCH] (undo) register-docs ci --- .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 cace6dc8d..0ef75503c 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: