Skip to content

Fix user-friendly job names so that they are the same as in the manager menu #708

Fix user-friendly job names so that they are the same as in the manager menu

Fix user-friendly job names so that they are the same as in the manager menu #708

Workflow file for this run

name: Clean up PR caches
on:
pull_request_target:
types:
- closed
jobs:
cleanup:
uses: DFHack/dfhack/.github/workflows/clean-cache.yml@develop
secrets: inherit