error from Uplink::transmit when kble_gs is not connected to the satellite #745
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/checkout@v4.1.7 | |
| with: | |
| submodules: recursive | |
| # for devtools-frontend | |
| - uses: actions/setup-node@v4.0.2 | |
| 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/rust-cache@v2.7.3 | |
| - 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/upload-pages-artifact@v3.0.1 | |
| 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/deploy-pages@v4.0.5 |