microsoft/qdk

Public

mirrored fromhttps://github.com/microsoft/qdkAvailable

CodeCommitsIssuesPull requestsActionsInsightsSecurity
msoeken/depth_time

Branches

Tags

  • No tags available.
0Branches0Tags
Go to file
Add file
Code

Clone

HTTPS

Download ZIP

.github/workflows/publish-playground.yml

78lines · modecode

1# Largely based on examples at:
2# - https://github.com/actions/starter-workflows/blob/main/pages/mdbook.yml
3# - https://github.com/actions/starter-workflows/blob/main/pages/static.yml
4
5name: Publish playground
6
7on:
8 push:
9 branches: [main]
10 workflow_dispatch:
11
12env:
13 CARGO_TERM_COLOR: always
14 RUST_TOOLCHAIN_VERSION: "1.93"
15 RUST_TOOLCHAIN_COMPONENTS: rustfmt clippy
16
17# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
18permissions:
19 contents: read
20 pages: write
21 id-token: write
22
23# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
24# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
25concurrency:
26 group: "pages"
27 cancel-in-progress: false
28
29jobs:
30 build:
31 runs-on: ubuntu-latest
32 steps:
33 - uses: actions/checkout@v6
34 with:
35 submodules: "true"
36 - name: Setup Pages
37 uses: actions/configure-pages@v5
38 - name: Setup rust toolchain
39 uses: ./.github/actions/toolchains/rust
40 with:
41 toolchain: ${{ env.RUST_TOOLCHAIN_VERSION }}
42 components: ${{ env.RUST_TOOLCHAIN_COMPONENTS }}
43 - uses: actions/setup-python@v6
44 with:
45 python-version: "3.11"
46 - uses: actions/setup-node@v6
47 with:
48 node-version: "22.14.0"
49 - uses: actions/cache@v4
50 with:
51 path: |
52 ~/.cargo/bin/
53 ~/.cargo/registry/index/
54 ~/.cargo/registry/cache/
55 ~/.cargo/git/db/
56 target/
57 key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
58 - name: Prereqs
59 run: python ./prereqs.py --install
60 - name: Build and Test
61 run: python ./build.py --no-check --no-test --wasm --npm --play
62 - name: Upload artifact
63 uses: actions/upload-pages-artifact@v4
64 with:
65 path: ./source/playground/public
66
67 deploy:
68 needs: build
69
70 environment:
71 name: github-pages
72 url: ${{ steps.deployment.outputs.page_url }}
73
74 runs-on: ubuntu-latest
75 steps:
76 - name: Deploy to GitHub Pages
77 id: deployment
78 uses: actions/deploy-pages@v4