diff options
| author | Steven <steven.liekens@gmail.com> | 2023-09-28 20:50:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-28 20:50:20 +0300 |
| commit | 803ec6e0e53011db77ebe4696fe7663c7b59bf99 (patch) | |
| tree | 31a7fb17def9eb33c572247fff2b6d6db4164fd1 /.github/workflows/update-dotnet-install-script.yml | |
| parent | 0599c63f8fdfd5fd9f81144fc4737d974620ebe8 (diff) | |
Bump the dotnet version after a script update (#707)
* Bump the dotnet version after a script update
* Forgot to add file
* Keep 4 spaces indentation
Diffstat (limited to '.github/workflows/update-dotnet-install-script.yml')
| -rw-r--r-- | .github/workflows/update-dotnet-install-script.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/update-dotnet-install-script.yml b/.github/workflows/update-dotnet-install-script.yml index 30a5aa4..72d0609 100644 --- a/.github/workflows/update-dotnet-install-script.yml +++ b/.github/workflows/update-dotnet-install-script.yml @@ -35,8 +35,11 @@ jobs: git add src/dotnet/scripts/vendor/dotnet-install.sh git commit -m 'Automated dotnet-install script update' || export NO_UPDATES=true - # Push + # Bump version and push if [ "$NO_UPDATES" != "true" ] ; then + echo "$(jq --indent 4 '.version = (.version | split(".") | map(tonumber) | .[2] += 1 | join("."))' src/dotnet/devcontainer-feature.json)" > src/dotnet/devcontainer-feature.json + git add src/dotnet/devcontainer-feature.json + git commit -m 'Bump version' git push origin "$branch" gh api \ --method POST \ |