Skip to content

[control-panel] convert numeric strings to numbers for numeric preferences #511

[control-panel] convert numeric strings to numbers for numeric preferences

[control-panel] convert numeric strings to numbers for numeric preferences #511

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