Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

feat(ci): mirror docs repo #1131

Merged
merged 15 commits into from
Jul 21, 2023
23 changes: 23 additions & 0 deletions .github/workflows/mirror_docs_repo.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
name: Push to docs-mirror-test branch

on:
push:
branches:
- master
paths:
- 'docs/**'

jobs:
build:
runs-on: ubuntu-latest

steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}

- name: Push to branch
run: |
./scripts/git_subrepo.sh push docs --branch=main
3 changes: 2 additions & 1 deletion docs/README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@

# Aztec Protocol Documentation

You can view the latest successful build here. https://docs.aztec.network
Expand Down Expand Up @@ -42,4 +43,4 @@ This command starts a local development server and opens up a browser window. Mo
$ yarn build
```

This command generates static content into the `build` directory and can be served using any static contents hosting service.
This command generates static content into the `build` directory and can be served using any static contents hosting service.
2 changes: 1 addition & 1 deletion docs/src/css/custom.css
Original file line number Diff line number Diff line change
Expand Up @@ -64,4 +64,4 @@
@font-face {
font-family: 'Plain-Regular';
src: url('../../static/font/Plain-Regular.otf');
}
}