From a3e80f2bc515889405ccb210453f6265bfab8498 Mon Sep 17 00:00:00 2001 From: Magne Sjaastad Date: Sun, 26 Oct 2025 14:13:45 +0100 Subject: [PATCH] Delete invalid test workflow --- .github/workflows/bump_dev_version.yml | 57 -------------------------- 1 file changed, 57 deletions(-) delete mode 100644 .github/workflows/bump_dev_version.yml diff --git a/.github/workflows/bump_dev_version.yml b/.github/workflows/bump_dev_version.yml deleted file mode 100644 index d61a417199..0000000000 --- a/.github/workflows/bump_dev_version.yml +++ /dev/null @@ -1,57 +0,0 @@ -name: Bump Dev Version - -on: - workflow_dispatch: - -jobs: - bump-version: - runs-on: ubuntu-latest - permissions: - contents: write - steps: - - name: Check out code - uses: actions/checkout@v4 - with: - token: ${{ secrets.GITHUB_TOKEN }} - - - name: Bump version - id: bump_version - run: | - set -e - version_file="ResInsightVersion.cmake" - line=$(grep 'set(RESINSIGHT_DEV_VERSION' "$version_file") - if [ -z "$line" ]; then - echo "Version line not found" - exit 1 - fi - - quoted_version=$(echo "$line" | grep -o '"*' || true) - version=${quoted_version//"/} - version_num_str=${version#.}. - - if ! [[ "$version_num_str" =~ ^[0-9]+$ ]]; then - echo "Error: dev version is not a number: $version_num_str" - exit 1 - fi - - new_version_num=$((10#$version_num_str + 1)) - new_version=$(printf ".%02d" "$new_version_num") - new_quoted_version="$new_version" - - new_line=${line//$quoted_version/$new_quoted_version} - - sed -i "s|$line|$new_line|" "$version_file" - - echo "new_dev_version=$new_version" >> $GITHUB_OUTPUT - - - name: Commit and push changes - run: | - git config --global user.name 'github-actions[bot]' - git config --global user.email 'github-actions[bot]@users.noreply.github.com' - git add ResInsightVersion.cmake - if git diff --staged --quiet; then - echo "No changes to commit" - exit 0 - fi - git commit -m "Bump RESINSIGHT_DEV_VERSION to ${{ steps.bump_version.outputs.new_dev_version }}" - git push \ No newline at end of file