diff options
| author | Philipp A | 2023-12-28 16:13:31 +0100 | 
|---|---|---|
| committer | GitHub | 2023-12-28 16:13:31 +0100 | 
| commit | fc852b6d0715809637a2a148ebd0ce03542a1ff4 (patch) | |
| tree | e989c603f05500a08e47cec06604cb1472297550 | |
| parent | 0f4f1a420cbcf263a9118ec9b288c95f1b59ade8 (diff) | |
| parent | e7fc17c998b8295fa5bf2ef953298f67db6b8c8d (diff) | |
| download | rust-rst-fc852b6d0715809637a2a148ebd0ce03542a1ff4.tar.bz2 | |
Merge branch 'main' into allow-rst-to-read-from-stdin
| -rw-r--r-- | .github/workflows/rust.yml | 16 | 
1 files changed, 15 insertions, 1 deletions
| diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 6e35283..82ea1f1 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -17,7 +17,11 @@ jobs:      name: Build, check, and test      runs-on: ubuntu-latest      steps: -    - uses: actions/checkout@v3 +    - uses: actions/checkout@v4 +      with: +        token: ${{ secrets.PAT_GITHUB }} +        fetch-depth: 0 +        filter: blob:none      - uses: dtolnay/rust-toolchain@stable        with:          components: clippy @@ -28,6 +32,11 @@ jobs:      - run: just build      - run: just check      - run: just fmt --check +      id: fmt +    - run: just fmt +      if: failure() +    - uses: stefanzweifel/git-auto-commit-action@v5 +      if: failure()      - run: just test    doc:      name: Build and publish docs @@ -40,7 +49,11 @@ jobs:      runs-on: ubuntu-latest      steps:      - uses: actions/checkout@v4 +      with: +        fetch-depth: 0 +        filter: blob:none      - uses: actions/configure-pages@v3 +      if: github.ref_name == 'main'      - uses: dtolnay/rust-toolchain@nightly      - uses: taiki-e/install-action@v2        with: @@ -48,6 +61,7 @@ jobs:      - uses: Swatinem/rust-cache@v2      - run: just doc      - uses: actions/upload-pages-artifact@v3 +      if: github.ref_name == 'main'        with:          path: target/doc      - uses: actions/deploy-pages@v4 | 
