Skip to content
cleanup caches by a branch

Fix check for module name for Orphan Juvix files and imports of Juvix Markdown files #356

Sign in to view logs

Fix check for module name for Orphan Juvix files and imports of Juvix Markdown files

Fix check for module name for Orphan Juvix files and imports of Juvix Markdown files #356

Workflow file for this run

.github/workflows/clean-up-cache.yaml at f4d08df
name: cleanup caches by a branch
on:
pull_request:
types:
- closed
jobs:
cleanup:
runs-on: ubuntu-latest
steps:
- name: Check out code
uses: actions/checkout@v3
- name: Cleanup
run: |
gh extension install actions/gh-actions-cache
REPO=${{ github.repository }}
BRANCH="refs/pull/${{ github.event.pull_request.number }}/merge"
echo "Fetching list of cache key"
cacheKeysForPR=$(gh actions-cache list -R $REPO -B $BRANCH | cut -f 1 )
## Setting this to not fail the workflow while deleting cache keys.
set +e
echo "Deleting caches..."
for cacheKey in $cacheKeysForPR
do
gh actions-cache delete $cacheKey -R $REPO -B $BRANCH --confirm
done
echo "Done"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}