Browse Source

Merge pull request #40 from rust3ds/docs/icons

Pin docs to known good nightly
pull/42/merge
Ian Chamberlain 12 months ago committed by GitHub
parent
commit
f217e36110
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      .github/workflows/docs.yml

4
.github/workflows/docs.yml

@ -4,6 +4,7 @@ on:
push: push:
branches: branches:
- main - main
pull_request:
workflow_dispatch: workflow_dispatch:
jobs: jobs:
@ -22,7 +23,7 @@ jobs:
- uses: rust3ds/test-runner/setup@v1 - uses: rust3ds/test-runner/setup@v1
with: with:
toolchain: nightly toolchain: nightly-2023-06-01
- name: Build workspace docs - name: Build workspace docs
run: cargo 3ds --verbose doc --verbose --no-deps --workspace run: cargo 3ds --verbose doc --verbose --no-deps --workspace
@ -47,6 +48,7 @@ jobs:
deploy: deploy:
runs-on: ubuntu-latest runs-on: ubuntu-latest
needs: build needs: build
if: github.ref_name == 'main'
permissions: permissions:
pages: write pages: write
id-token: write id-token: write

Loading…
Cancel
Save