tools/.github/workflows/deploy_pages.yaml at c0b5b9455f2a01e36c58384e0751467e636c861a · dart-lang/tools · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# Publish the GitHub Pages site for this repo.

name: "Deploy Pages"
permissions: read-all

on:
  # Run on pushes to the default branch.
  push:
    branches: [ main ]
    paths:
      - '.github/workflows/deploy_pages.yaml'
      - 'pkgs/markdown/**'

jobs:
  deploy:
    permissions:
      contents: read
      pages: write
      id-token: write
    runs-on: ubuntu-latest
    environment:
      name: github-pages
      url: ${{steps.deployment.outputs.page_url}}

    steps:
      - uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3
      - uses: dart-lang/setup-dart@e51d8e571e22473a2ddebf0ef8a2123f0ab2c02c

      # Build the markdown playground.
      - run: dart pub get
        working-directory: pkgs/markdown
      - run: dart run build_runner build -o example:build --release --delete-conflicting-outputs --verbose
        working-directory: pkgs/markdown

      # Create the _site directory.
      - run: mkdir _site
      - run: cp -r pkgs/markdown/build _site/markdown

      # Deploy to GitHub Pages.
      - uses: actions/configure-pages@v5
      - uses: actions/upload-pages-artifact@v4
        with:
          path: _site
      - uses: actions/deploy-pages@v4