diff options
| author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-12-30 00:56:27 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-30 00:56:27 -0500 |
| commit | 21a21b86c0bbfd02ae21e0602a02d1c30cb264fb (patch) | |
| tree | 60e5eedc45e7bd943958e05e0caca4a10feb0b6d /.github | |
| parent | 32da5f39bb2ee74543bce607249df15885d3cf47 (diff) | |
ci: clean all workflow caches to script (#936)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/clear-workflow-cache.yml (renamed from .github/workflows/clear-pr-cache.yml) | 7 | ||||
| -rw-r--r-- | .github/workflows/nightly.yml | 2 |
2 files changed, 5 insertions, 4 deletions
diff --git a/.github/workflows/clear-pr-cache.yml b/.github/workflows/clear-workflow-cache.yml index 237b7fe5..b4d1a4c2 100644 --- a/.github/workflows/clear-pr-cache.yml +++ b/.github/workflows/clear-workflow-cache.yml @@ -1,12 +1,13 @@ -# Simple job to clear the cache used by a PR when it is closed/merged. +# Simple job to clear the cache used by a workflow. This automatically runs when a PR is closed/merged +# to clean up the corresponding PR's cache. -name: "clear PR cache" +name: "clear workflow cache" on: workflow_dispatch: inputs: id: - description: "Which id to clear:" + description: "Which id to clear. Type 'main'/'master'/'all' to clean all." required: false pull_request: types: diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index d025e546..3c5a1ec5 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -9,7 +9,7 @@ on: workflow_dispatch: inputs: isMock: - description: "Replace to trigger a non-mock run." + description: "Replace with any word other than 'mock' to trigger a non-mock run." default: "mock" required: false |