From 019c0648faf6b24ae6c4221ba0f1d5757c6f4593 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Feb 2024 09:37:08 -0800
Subject: [PATCH] Update coverage.yml

---
 .github/workflows/coverage.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index b90b40925..a0f66d5a8 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -89,8 +89,9 @@ jobs:
 
     - name: Get date
       id: date
-      run: echo "::set-output name=date::$(date +'%Y-%m-%d')"
-      run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
+      run: |
+         echo "::set-output name=date::$(date +'%Y-%m-%d')"
+         echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
 
     - uses: actions/upload-artifact@v4
       with: