From 195a13e29541133afc923a1bf0b0a14abc904462 Mon Sep 17 00:00:00 2001 From: Robert Adam Date: Sun, 25 Feb 2024 15:48:09 +0100 Subject: [PATCH] dummy --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0c32d837e..740c97a7e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -65,9 +65,9 @@ jobs: # supported by GitHub Actions any longer, we'd need to run it in # Docker container if we really need it. # backend: db2 - - backend: empty - name: Examples - build_examples: true + #- backend: empty + # name: Examples + # build_examples: true env: SOCI_CI: true