mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-13 10:58:23 +03:00
remove artifact remover
This commit is contained in:
parent
d33a036cd0
commit
f056ad941a
18
.github/workflows/remove-old-artifacts.yml
vendored
18
.github/workflows/remove-old-artifacts.yml
vendored
@ -1,18 +0,0 @@
|
||||
# https://github.com/actions/upload-artifact/issues/5
|
||||
|
||||
name: Remove old artifacts
|
||||
on:
|
||||
schedule:
|
||||
- cron: "0 1 * * *"
|
||||
|
||||
jobs:
|
||||
remove-old-artifacts:
|
||||
runs-on: ubuntu-latest
|
||||
timeout-minutes: 10
|
||||
|
||||
steps:
|
||||
- name: Remove old artifacts
|
||||
uses: c-hive/gha-remove-artifacts@v1
|
||||
with:
|
||||
age: "1 week"
|
||||
skip-tags: true
|
Loading…
Reference in New Issue
Block a user