max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: avoid deprecated set-output

Browse source
This commit is contained in:
Sebastian Ullrich 2023-01-25 10:22:45 +01:00
parent f4d005e86d
commit 94547b3d85
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View file

@ -35,7 +35,7 @@ jobs:
LEAN_VERSION_STRING="nightly-$(date -u +%F)"
# do nothing if commit already has a different tag
if [[ $(git name-rev --name-only --tags --no-undefined HEAD 2> /dev/null || echo $LEAN_VERSION_STRING) == $LEAN_VERSION_STRING ]]; then
echo "::set-output name=nightly::$LEAN_VERSION_STRING"
echo "nightly=$LEAN_VERSION_STRING" >> $GITHUB_OUTPUT
fi
fi