2021-04-26 11:05:18 +00:00
|
|
|
name: Update V8
|
|
|
|
|
|
|
|
on:
|
|
|
|
schedule:
|
2021-08-15 18:14:14 +00:00
|
|
|
- cron: "1 10 * * *" # this is 1 hour after the autoroll in denoland/v8
|
2021-04-26 11:05:18 +00:00
|
|
|
workflow_dispatch:
|
|
|
|
|
2024-02-13 18:47:11 +00:00
|
|
|
permissions: write-all
|
|
|
|
|
2021-04-26 11:05:18 +00:00
|
|
|
jobs:
|
|
|
|
update:
|
|
|
|
runs-on: ubuntu-latest
|
2022-02-07 03:09:30 +00:00
|
|
|
if: github.repository == 'denoland/rusty_v8'
|
2021-04-26 11:05:18 +00:00
|
|
|
steps:
|
|
|
|
- name: Clone repository
|
2022-03-30 16:54:54 +00:00
|
|
|
uses: actions/checkout@v3
|
2022-05-28 15:16:00 +00:00
|
|
|
- name: Fetch origin/main
|
|
|
|
run: git fetch origin main
|
2021-04-26 11:05:18 +00:00
|
|
|
- uses: denoland/setup-deno@main
|
|
|
|
with:
|
|
|
|
deno-version: v1.x
|
2021-04-27 09:02:47 +00:00
|
|
|
- name: Setup Git user
|
|
|
|
run: |
|
|
|
|
git config --global user.email "33910674+denobot@users.noreply.github.com"
|
|
|
|
git config --global user.name "denobot"
|
|
|
|
git config --global user.password ${{ secrets.DENOBOT_PAT }}
|
|
|
|
echo "GIT_USER=${{ secrets.DENOBOT_PAT }}" >> $GITHUB_ENV
|
|
|
|
git remote set-url origin https://${{ secrets.DENOBOT_PAT }}@github.com/denoland/rusty_v8.git
|
2021-04-26 11:05:18 +00:00
|
|
|
- run: deno run -A ./tools/auto_update_v8.ts
|
2021-04-27 09:02:47 +00:00
|
|
|
env:
|
2022-05-28 15:16:00 +00:00
|
|
|
GITHUB_TOKEN: ${{ secrets.DENOBOT_PAT }}
|