Skip to content

When cache disabled use a tmp dir for cache outputs #22

When cache disabled use a tmp dir for cache outputs

When cache disabled use a tmp dir for cache outputs #22

name: autosquash
on:
pull_request:
types:
# omit "opened" as labeling happens after opening
# and when we include both the two events end up
# canceling each other's runs.
- reopened
- edited
- labeled
- synchronize
- unlabeled
- ready_for_review
concurrency:
# only one autosquash at a time per PR
group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs:
autosquash:
runs-on: ubuntu-latest
steps:
- name: Get Token
if: github.event.pull_request.head.repo.full_name == 'theoremlp/rules_mypy'
id: app-token
uses: actions/create-github-app-token@v1
with:
app-id: ${{ secrets.THM_AUTOMATION_APP_ID }}
private-key: ${{ secrets.THM_AUTOMATION_PRIVATE_KEY }}
- if: github.event.pull_request.head.repo.full_name == 'theoremlp/rules_mypy'
uses: actions/checkout@v4
- if: github.event.pull_request.head.repo.full_name == 'theoremlp/rules_mypy'
uses: theoremlp/autosquash@v1
with:
github-token: ${{ steps.app-token.outputs.token }}
pull-request-number: ${{ github.event.pull_request.number }}
squash-commit-title: "${{ github.event.pull_request.title }} (#${{ github.event.pull_request.number }})"
squash-commit-message: "${{ github.event.pull_request.body }}"
do-not-merge-label: "do not merge"
required-label: "automerge"