Merge pull request #603 from cimnine/GroupBuildOutput
Group the build output in GitHub Action
commit b0261e8cc62781d0e38e435fa271f29d3581ebcb
2 parents 5f0b746 + 30a7aa0
@Christian Mäder Christian Mäder authored on 5 Oct 2021
GitHub committed on 5 Oct 2021
Showing 2 changed files
View
build-functions/gh-functions.sh 0 → 100644
View
build.sh