Update coverage.yml

Author: NikolajBjorner

.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: