Skip to content

chore(deps): update dependency org.apache.maven.plugins:maven-deploy-… #515

chore(deps): update dependency org.apache.maven.plugins:maven-deploy-…

chore(deps): update dependency org.apache.maven.plugins:maven-deploy-… #515

Workflow file for this run

# 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@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b # v4.1.5
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 }}