Editorial: remove duplicate "is" #261
Workflow file for this run
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: Build | |
| on: | |
| pull_request: | |
| branches: | |
| - main | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| build: | |
| name: Build | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 2 | |
| # Note: `python` will also be this version, which various scripts depend on. | |
| - uses: actions/setup-python@v3 | |
| with: | |
| python-version: "3.10" | |
| # Note: `make deploy` will do a deploy dry run on PRs. | |
| - run: make deploy | |
| env: | |
| SERVER: ${{ secrets.MARQUEE_SERVER }} | |
| SERVER_PUBLIC_KEY: ${{ secrets.MARQUEE_PUBLIC_KEY }} | |
| SERVER_DEPLOY_KEY: ${{ secrets.MARQUEE_DEPLOY_KEY }} |