Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 48 additions & 0 deletions .github/workflows/update.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
name: update

on:
schedule:
# Nightly at 00:00 UTC
- cron: "0 0 * * *"
workflow_dispatch: {}

permissions: {}

jobs:
update:
runs-on: ubuntu-latest
timeout-minutes: 10
permissions:
contents: write
pull-requests: write
steps:
- name: Checkout
uses: actions/checkout@v6
with:
persist-credentials: false
fetch-depth: 0

- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly

- name: Run sync
shell: bash
run: |
set -euo pipefail
chmod +x scripts/sync.sh
scripts/sync.sh

- name: Create pull request
uses: peter-evans/create-pull-request@v8
with:
commit-message: "chore: interface update"
title: "chore: interface update"
body: |
Automated nightly sync via `scripts/sync.sh`.

- Trigger: scheduled workflow
- Notes: PR is only created when there are file changes.
branch: chore/nightly-sync
delete-branch: true
2 changes: 1 addition & 1 deletion scripts/sync.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ function main () {
log $GREEN "Syncing specifications"

# Clone specs repo and copy interface specs
git clone --depth 1 git@github.com:tempoxyz/tempo.git specs
git clone --depth 1 https://github.com/tempoxyz/tempo.git specs
cp -r specs/docs/specs/src/interfaces src
rm -rf specs

Expand Down