Build and Deploy #65
This file contains hidden or 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 and Deploy | |
| on: | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| branches: | |
| - master | |
| workflow_dispatch: | |
| inputs: | |
| force: | |
| description: 'Set to "true" to mark this run as forced when manually triggered' | |
| required: false | |
| default: "false" | |
| jobs: | |
| build: | |
| # Skip this job on push events when the head commit message contains [skip ci] | |
| if: ${{ github.event_name != 'push' || !contains(github.event.head_commit.message, '[skip ci]') }} | |
| permissions: | |
| contents: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| persist-credentials: true | |
| - name: Setup Quarto | |
| uses: quarto-dev/quarto-actions/setup@v2 | |
| - name: Setup .NET | |
| uses: actions/setup-dotnet@v4 | |
| with: | |
| dotnet-version: "10.0.x" | |
| - name: Restore build tooling | |
| run: | | |
| dotnet tool restore | |
| dotnet tool run paket restore | |
| - name: Run tests | |
| run: dotnet run --project src/Build.fsproj -- -t Test | |
| - name: refresh publications and commit changes | |
| if: ${{ github.event_name == 'workflow_dispatch' || github.event.inputs.force == 'true' }} | |
| env: | |
| API_GITHUB_TOKEN: ${{ secrets.API_GITHUB_TOKEN }} | |
| run: | | |
| dotnet run --project src/Build.fsproj -- -t UpdatePublications | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| # Stage the generated files (ignore errors if files missing) | |
| git add site/published.{yml,xml} site/pipeline.yml site/mock-papers.yml || true | |
| # Only commit if there are staged changes | |
| if git diff --staged --quiet; then | |
| echo "No publication changes to commit" | |
| else | |
| git commit -m "Refresh publication metadata [skip ci]" | |
| # push to the branch that triggered the workflow | |
| git push origin HEAD:${{ github.ref_name }} | |
| fi | |
| - name: Build site | |
| run: dotnet run --project src/Build.fsproj -- -t RenderSite | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| # Deployment job | |
| deploy: | |
| # skip this job if the event is a pull request or if the branch is not master | |
| if: github.event_name != 'pull_request' | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| needs: build | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} |