From 4dc28921e57e316f59512629c67d46a13de72869 Mon Sep 17 00:00:00 2001 From: G-Ragghianti Date: Fri, 4 Oct 2024 13:58:59 -0400 Subject: [PATCH] CI refinements --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 58916900a..9cb22d92c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: - build_type: Debug profiling: OFF - build_type: Release - shared: OFF + shared_type: OFF name: "${{matrix.build_type}} Shared=${{matrix.shared_type}} Profile=${{matrix.profiling}}" env: BUILD_TYPE: ${{matrix.build_type}}