GetSatelliteSchemaの戻り値で各種descriptionを含めるように変更 #731
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: rustdoc | |
on: | |
push: | |
branches: [ main ] | |
pull_request: | |
env: | |
CARGO_INCREMENTAL: 0 | |
jobs: | |
rustdoc: | |
permissions: | |
id-token: write | |
contents: read | |
runs-on: ubuntu-latest | |
steps: | |
- name: checkout all the submodules | |
uses: actions/[email protected] | |
with: | |
submodules: recursive | |
# for devtools-frontend | |
- uses: actions/[email protected] | |
with: | |
node-version: 21 | |
- name: Install Protoc | |
uses: arduino/setup-protoc@v1 | |
with: | |
version: '3.x' | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
- name: Get Rust toolchain | |
id: toolchain | |
run: | | |
awk -F'[ ="]+' '$1 == "channel" { print "toolchain=" $2 }' rust-toolchain >> "$GITHUB_OUTPUT" | |
- uses: dtolnay/rust-toolchain@v1 | |
with: | |
toolchain: ${{ steps.toolchain.outputs.toolchain }} | |
- name: cache dependencies | |
uses: Swatinem/[email protected] | |
- name: Install cargo-about | |
run: cargo install cargo-about --locked | |
- name: Install wasm-pack | |
run: cargo install wasm-pack --locked | |
- run: rm -rf ./target/doc | |
- run: cargo doc --all --no-deps | |
env: | |
CARGO_NET_GIT_FETCH_WITH_CLI: "true" | |
- name: add index.html | |
run: | | |
cat > ./target/doc/index.html << EOS | |
<meta http-equiv="refresh" content="1;URL=/gaia_tmtc"> | |
EOS | |
- name: Fix file permissions | |
shell: sh | |
run: | | |
chmod -c -R +rX "target/doc/" | |
- name: Archive rustdoc | |
uses: actions/[email protected] | |
with: | |
path: target/doc/ | |
deploy: | |
if: github.ref == 'refs/heads/main' | |
needs: rustdoc | |
permissions: | |
pages: write | |
id-token: write | |
environment: | |
name: github-pages | |
url: ${{ steps.deployment.outputs.page_url }} | |
runs-on: ubuntu-latest | |
steps: | |
- name: Deploy to GitHub Pages | |
id: deployment | |
uses: actions/[email protected] |