mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
ci: Really fix set-output. (#7138)
I accidentally left the old line in PR #7136.
This commit is contained in:
parent
019c0648fa
commit
19f5e7ffea
4
.github/workflows/coverage.yml
vendored
4
.github/workflows/coverage.yml
vendored
|
@ -89,9 +89,7 @@ jobs:
|
|||
|
||||
- name: Get date
|
||||
id: date
|
||||
run: |
|
||||
echo "::set-output name=date::$(date +'%Y-%m-%d')"
|
||||
echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
|
||||
run: echo "date=$(date +'%Y-%m-%d')" >> $GITHUB_OUTPUT
|
||||
|
||||
- uses: actions/upload-artifact@v4
|
||||
with:
|
||||
|
|
Loading…
Reference in a new issue