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

chore: CI: add RELEASES.md diff to nightly description

Browse source
This commit is contained in:
Sebastian Ullrich 2022-02-08 13:46:53 +01:00
parent e45830f8b3
commit ad80c69cba
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -231,10 +231,11 @@ jobs:
git tag ${{ needs.set-nightly.outputs.nightly }}
git push nightly ${{ needs.set-nightly.outputs.nightly }}
last_tag=$(git describe HEAD^ --abbrev=0 --tags)
echo -e "Changes since ${last_tag}:\n\n" > diff.md
#git show $last_tag:doc/changes.md > old.md
echo -e "*Changes since ${last_tag}:*\n\n" > diff.md
git show $last_tag:doc/RELEASES.md > old.md
#./script/diff_changelogs.py old.md doc/changes.md >> diff.md
echo -e "*Full commit log*\n" >> diff.md
diff --changed-group-format='%>' --unchanged-group-format='' old.md doc/RELEASES.md >> diff.md
echo -e "\n*Full commit log*\n" >> diff.md
git log --oneline $last_tag..HEAD | sed 's/^/* /' >> diff.md
- name: Release Nightly
uses: softprops/action-gh-release@v1