Update 3rdparty sources #24
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Update 3rdparty sources | |
| on: | |
| workflow_dispatch: | |
| schedule: | |
| - cron: '0 0 * * fri' | |
| jobs: | |
| update-iremapper-source: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| - name: Download latest IRE mapper | |
| uses: carlosperate/[email protected] | |
| with: | |
| file-url: https://raw.githubusercontent.com/IRE-Mudlet-Mapping/ire-mapping-script/gh-pages/downloads/mudlet-mapper.xml | |
| file-name: mudlet-mapper.xml | |
| location: src/ | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 src/mudlet-mapper.xml | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: src/ | |
| branch: update-ire-mapping-script | |
| commit-message: (autocommit) Updated IRE mapping script to latest upstream | |
| title: "Infrastructure: Update bundled IRE mapper script to latest upstream" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update the IRE mapper script to the latest version. | |
| #### Motivation for adding to Mudlet | |
| So people don't get attacked with a "your mapping script is out of date!" notification as soon as they create a profile for a new IRE game. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |
| update-dblsqd-fork: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| submodules: true | |
| fetch-depth: 0 | |
| - name: update submodule to latest | |
| run: git submodule update --remote 3rdparty/dblsqd/ | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 3rdparty/dblsqd/ | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: 3rdparty/dblsqd | |
| branch: update-dblsqd | |
| commit-message: (autocommit) Updated dblsqd submodule to latest in our fork | |
| title: "Infrastructure: Update dblsqd to latest in our fork" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update dblsqd to its latest version in our fork. | |
| #### Motivation for adding to Mudlet | |
| Get new features, bugfixes, improvements! Stay modern. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |
| update-lcf-source-51: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| submodules: true | |
| fetch-depth: 0 | |
| - name: update submodule to latest in branch | |
| run: | | |
| cd 3rdparty/lcf/ | |
| git checkout 5.1-syntax_5.1 | |
| git pull | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 3rdparty/lcf/ | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: 3rdparty/lcf | |
| branch: update-lcf | |
| commit-message: (autocommit) Updated lcf submodule to latest upstream branch | |
| title: "Infrastructure: Update Lua code formatter to latest upstream branch" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update the built-in Lua code formatter to its latest version in upstream `5.1-syntax_5.1` (parses code only as Lua version 5.1) branch. | |
| #### Motivation for adding to Mudlet | |
| Get new features, bugfixes, improvements! Stay modern. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |
| update-widecharwidth-source: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| - name: download latest from source repo | |
| run: | | |
| curl -o src/widechar_width.h https://raw.githubusercontent.com/ridiculousfish/widecharwidth/master/widechar_width.h | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 src/widechar_width.h | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: src/widechar_width.h | |
| branch: update-widechar-width | |
| commit-message: (autocommit) Update widechar_width.h to latest upstream | |
| title: "Infrastructure: Update widechar_width.h to latest upstream" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update the built-in `src/widechar_width.h` to its latest version in upstream. We don't include it as a submodule as it's just one file. | |
| #### Motivation for adding to Mudlet | |
| Better emoji and symbol support! This file helps us tell if a particular character is 0, 1, or 2 widths wide so we can show it correctly in the display. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |
| update-singleshot-connect-source: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| - name: download latest from source repo | |
| run: | | |
| curl -o 3rdparty/kdtoolbox/singleshot_connect/singleshot_connect.h https://raw.githubusercontent.com/KDAB/KDToolBox/master/qt/singleshot_connect/singleshot_connect.h | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 3rdparty/kdtoolbox/singleshot_connect/singleshot_connect.h | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: 3rdparty/kdtoolbox | |
| branch: update-singleshot-connect | |
| commit-message: (autocommit) Update singleshot_connect.h to latest upstream | |
| title: "Infrastructure: Update singleshot_connect.h to latest upstream" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update the built-in `3rdparty/kdtoolbox/singleshot_connect/singleshot_connect.h` to its latest version in upstream. We don't include it as a submodule as we're using tools from the KDToolBox as we need them. | |
| #### Motivation for adding to Mudlet | |
| Latest version of the Qt utility feature that allows singleshot connections. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |
| update-cmake-scripts-source: | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'Mudlet' }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: development | |
| - name: download latest from source repo | |
| run: | | |
| curl -o 3rdparty/cmake-scripts/sanitizers.cmake https://raw.githubusercontent.com/StableCoder/cmake-scripts/main/sanitizers.cmake | |
| # strictly speaking this step isn't necessary since the PR action can filter as well, but it's easier | |
| # to see in github UI's if PR creation was skipped when we have an explicit pre-check | |
| - name: check if we have any updates | |
| id: getdiff | |
| run: | | |
| lines_changed=$(git diff --patch --unified=0 3rdparty/cmake-scripts/sanitizers.cmake | wc --lines) | |
| echo "$lines_changed lines changed." | |
| echo ::set-output name=lines_changed::$lines_changed | |
| - name: send in a pull request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: steps.getdiff.outputs.lines_changed > 0 | |
| with: | |
| token: ${{ secrets.GH_PAT_UPDATE_3RDPARTY }} | |
| add-paths: 3rdparty/cmake-scripts | |
| branch: update-cmake-scripts | |
| commit-message: (autocommit) Update sanitizers.cmake to latest upstream | |
| title: "Infrastructure: Update sanitizers.cmake to latest upstream" | |
| body: | | |
| #### Brief overview of PR changes/additions | |
| :crown: An automated PR to update the built-in `3rdparty/cmake-scripts/sanitizers.cmake` to its latest version in upstream. We don't include it as a submodule as we need just this one file from the entire repo. | |
| #### Motivation for adding to Mudlet | |
| Latest version of the CMake utility feature that allows use to use various CMake sanitizers via the `USE_SANITIZER` CMake variable. | |
| #### Other info (issues closed, discussion etc) | |
| _update triggered by ${{ github.ref }} ${{ github.sha }}_ | |
| author: mudlet-machine-account <[email protected]> | |