From c85f0ea0f5927ac358b4e05c99f931d50438d167 Mon Sep 17 00:00:00 2001
From: Dominik Werder <dominik.werder@gmail.com>
Date: Wed, 6 Sep 2023 11:34:20 +0200
Subject: [PATCH] Trigger build

---
 .github/workflows/build-rhel7.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/build-rhel7.yml b/.github/workflows/build-rhel7.yml
index 079ae1c..95b1d03 100644
--- a/.github/workflows/build-rhel7.yml
+++ b/.github/workflows/build-rhel7.yml
@@ -50,7 +50,6 @@ jobs:
       - run: cargo --version
       - run: python --version
       - run: python -c 'import json; print(json)'
-      - run: false
       - run: mkdir /build
       # - run: "echo Flags: ${{ github.event.inputs.flags }}"
       # - run: echo $HOME