Support for initial entries (#432) #30
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Main branch uploads | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| main-branch-uploads: | |
| if: ${{ github.repository == 'p4lang/p4runtime' }} | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| # fetch all history for all branches and tags | |
| fetch-depth: 0 | |
| - name: Build spec | |
| run: | | |
| docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-madoko:latest make | |
| ls docs/v1/build | |
| - name: Upload spec to S3 | |
| uses: jakejarvis/[email protected] | |
| with: | |
| args: --acl public-read --follow-symlinks --delete | |
| env: | |
| AWS_S3_BUCKET: 'p4runtime' | |
| AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} | |
| AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} | |
| AWS_REGION: 'us-west-2' | |
| SOURCE_DIR: 'docs/v1/build' | |
| DEST_DIR: docs/main | |
| - name: Prepare spec for upload to gh-pages | |
| run: | | |
| git checkout gh-pages | |
| mkdir -p spec | |
| rm -rf spec/main | |
| cp -r docs/v1/build spec/main | |
| - name: Upload spec to gh-pages | |
| uses: EndBug/add-and-commit@v9 | |
| with: | |
| add: 'spec' | |
| author_name: 'P4Runtime CI' | |
| author_email: '[email protected]' | |
| default_author: github_actions | |
| message: 'Publish spec from Github Actions' | |
| commit: '--amend' | |
| push: 'origin gh-pages --force' |