From 0b31c575ee0b8f53c8cf48fb04da8b7b1130922d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20B=C3=B6ther?= Date: Thu, 19 Oct 2023 00:32:13 +0200 Subject: [PATCH] indentation --- .github/workflows/workflow.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml index c7c9d0690..00e33ecaf 100644 --- a/.github/workflows/workflow.yaml +++ b/.github/workflows/workflow.yaml @@ -157,7 +157,7 @@ jobs: compiler: - { c: gcc, cxx: g++, version: 11 } - { c: gcc, cxx: g++, version: 12 } - - { c: gcc, cxx: g++, version: 13 } + - { c: gcc, cxx: g++, version: 13 } - { c: clang, cxx: clang++, version: 14 } - { c: clang, cxx: clang++, version: 16, coverage: true } include: