summaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2020-05-14 14:00:52 -0700
committergVisor bot <gvisor-bot@google.com>2020-05-14 14:02:43 -0700
commitf589a85889c815cebac624122aebe14c8263a574 (patch)
tree5d863eaf8fb897f10cfd8cd68a98427d0af34229 /.github
parentbdf7bb71d2bb8c6f4bcef9bdc590f01a9dc1cd64 (diff)
Run issue_reviver via GitHub.
PiperOrigin-RevId: 311600872
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/issue_reviver.yml14
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/issue_reviver.yml b/.github/workflows/issue_reviver.yml
new file mode 100644
index 000000000..5e0254111
--- /dev/null
+++ b/.github/workflows/issue_reviver.yml
@@ -0,0 +1,14 @@
+name: "Issue reviver"
+on:
+ schedule:
+ - cron: '0 0 * * *'
+
+jobs:
+ label:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - run: make run TARGETS="//tools/issue_reviver"
+ env:
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+ GITHUB_REPOSITORY: ${{ github.repository }}