From 0a5a4084260c51799ccf456ee088400ca4deb223 Mon Sep 17 00:00:00 2001
From: Patrick Stotko <stotko@cs.uni-bonn.de>
Date: Wed, 20 Nov 2024 09:34:55 +0100
Subject: [PATCH] CI: Fall back to older codecov version

---
 .github/workflows/coverage.yml |  8 ++++----
 .github/workflows/docs.yml     |  8 ++++----
 .github/workflows/lint.yml     |  6 +++---
 .github/workflows/tests.yml    | 10 +++++-----
 4 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 1883ee2c..aa4bed6a 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -71,7 +71,7 @@ jobs:
           path: build
 
       - name: Upload coverage report
-        uses: codecov/codecov-action@v5
+        uses: codecov/codecov-action@v5.0.3 # Bug in recent versions leading to "Missing Head Commit" error
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: build/stdgpu_coverage.info
@@ -90,6 +90,6 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: re-actors/alls-green@release/v1
-      with:
-        jobs: ${{ toJSON(needs) }}
+      - uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2e623fd5..5c191428 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -86,7 +86,7 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: re-actors/alls-green@release/v1
-      with:
-        allowed-skips: publish
-        jobs: ${{ toJSON(needs) }}
+      - uses: re-actors/alls-green@release/v1
+        with:
+          allowed-skips: publish
+          jobs: ${{ toJSON(needs) }}
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 12eb17f2..abdeaee1 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -121,6 +121,6 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: re-actors/alls-green@release/v1
-      with:
-        jobs: ${{ toJSON(needs) }}
+      - uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index bcde8e35..37c5af3e 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -16,7 +16,7 @@ jobs:
   ubuntu:
     strategy:
       matrix:
-        os: ['ubuntu-22.04', 'ubuntu-24.04']
+        os: ["ubuntu-22.04", "ubuntu-24.04"]
         build_type: [Debug, Release]
         shared_libs: [ON, OFF]
         use_32bit_index: [ON, OFF]
@@ -86,7 +86,7 @@ jobs:
   windows:
     strategy:
       matrix:
-        os: ['windows-2019', 'windows-2022']
+        os: ["windows-2019", "windows-2022"]
         build_type: [Debug, Release]
         shared_libs: [ON, OFF]
         use_32bit_index: [ON, OFF]
@@ -148,6 +148,6 @@ jobs:
     runs-on: ubuntu-24.04
 
     steps:
-    - uses: re-actors/alls-green@release/v1
-      with:
-        jobs: ${{ toJSON(needs) }}
+      - uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}