Skip to content

Merge remote-tracking branch 'origin/devel' into devel #7

Merge remote-tracking branch 'origin/devel' into devel

Merge remote-tracking branch 'origin/devel' into devel #7

name: Cleanup
on:
pull_request:
types: [closed]
push:
branches:
- devel
jobs:
delete-caches:
name: Cleanup
uses: ./.github/workflows/cleanup-caches.yml
secrets: inherit