From 254bd24bbd6abedc7d706f774f5a10ef193e43a2 Mon Sep 17 00:00:00 2001 From: ado Date: Mon, 7 Aug 2023 17:57:26 +0200 Subject: [PATCH] Update single-header.yml --- .github/workflows/single-header.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/single-header.yml b/.github/workflows/single-header.yml index 8b401eb..0c1fa39 100644 --- a/.github/workflows/single-header.yml +++ b/.github/workflows/single-header.yml @@ -41,4 +41,9 @@ jobs: apt-get install -y git - name: Single header update check - run: script/single_header_generator.py + run: | + script/single_header_generator.py > tmp.hpp + diff spp.hpp tmp.hpp + + - name: Single header compile check + run: ./test/test_single_header.sh