chore(deps): update actions/checkout action to v4.2.2 (#1157) #528
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
| # Support workflows e.g. for generating documentation | |
| name: support | |
| on: | |
| push: | |
| branches: [ master ] | |
| env: | |
| JAVA_DISTRIBUTION: 'adopt' | |
| jobs: | |
| generate-achievements-handled_rules-md: | |
| if: ${{ github.repository == 'ASSERT-KTH/sorald' }} # don't accidentally run on forks :) | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 | |
| with: | |
| fetch-depth: 2 | |
| - uses: actions/setup-python@b64ffcaf5b410884ad320a9cfac8866006a109aa # v4.8.0 | |
| with: | |
| python-version: 3.8 | |
| - name: Install support scripts | |
| run: | | |
| pip install --upgrade pip | |
| pip install -e experimentation/tools | |
| - name: Generate ACHIEVEMENTS.md and submit a PR if modified | |
| run: | | |
| SCRIPT_NAME=achievements | |
| GENERATED_FILE=docs/ACHIEVEMENTS.md | |
| python experimentation/tools/sorald/${SCRIPT_NAME}.py -p experimentation/prs.json -o ${GENERATED_FILE} | |
| ./.github/submit-pr.sh \ | |
| --branch-prefix ${SCRIPT_NAME} \ | |
| --generated-file ${GENERATED_FILE} \ | |
| --gh-sha ${{ github.sha }} \ | |
| --gh-token ${{ secrets.GITHUB_TOKEN }} \ | |
| --gh-repository ${{ github.repository }} \ | |
| --gh-workflow ${{ github.workflow }} | |
| - name: Generate HANDLED_RULES.md and submit a PR if modified | |
| run: | | |
| SCRIPT_NAME=handled_rules | |
| GENERATED_FILE=docs/HANDLED_RULES.md | |
| python experimentation/tools/sorald/${SCRIPT_NAME}.py -o ${GENERATED_FILE} | |
| ./.github/submit-pr.sh \ | |
| --branch-prefix ${SCRIPT_NAME} \ | |
| --generated-file ${GENERATED_FILE} \ | |
| --gh-sha ${{ github.sha }} \ | |
| --gh-token ${{ secrets.GITHUB_TOKEN }} \ | |
| --gh-repository ${{ github.repository }} \ | |
| --gh-workflow ${{ github.workflow }} | |
| - uses: actions/setup-java@0ab4596768b603586c0de567f2430c30f5b0d2b0 # v3.13.0 | |
| with: | |
| java-version: 11 | |
| java-package: jdk | |
| architecture: x64 | |
| distribution: ${{ env.JAVA_DISTRIBUTION }} | |
| - name: Generate usage for the subcommands and submit a PR if modified | |
| run: | | |
| mvn clean compile dependency:build-classpath -Dmdep.outputFile=cp.txt | |
| (cd sorald && java -cp $(cat cp.txt):target/classes/ picocli.codegen.docgen.manpage.ManPageGenerator \ | |
| --outdir=../docs/usage/ \ | |
| sorald.cli.MineCommand \ | |
| sorald.cli.RepairCommand) | |
| ./.github/submit-pr.sh \ | |
| --branch-prefix usage \ | |
| --generated-file docs/usage \ | |
| --gh-sha ${{ github.sha }} \ | |
| --gh-token ${{ secrets.GITHUB_TOKEN }} \ | |
| --gh-repository ${{ github.repository }} \ | |
| --gh-workflow ${{ github.workflow }} |