mirror of
https://github.com/storytold/craft-libs.git
synced 2026-11-11 18:55:35 +00:00
FredAppsandFredApps
02ef0c597a
* ci: save the dependency cache from main only, and cancel superseded PR runs * ci: give runs outside pull requests their own concurrency group --------- Co-authored-by: FredApps <FredApps@users.noreply.github.com>
37 lines
1.4 KiB
YAML
37 lines
1.4 KiB
YAML
name: Document paths
|
|
|
|
on:
|
|
workflow_dispatch:
|
|
push:
|
|
branches: [main]
|
|
paths: ['crates/docpath/**', 'Cargo.toml', 'Cargo.lock', '.github/workflows/docpath.yml']
|
|
pull_request:
|
|
paths: ['crates/docpath/**', 'Cargo.toml', 'Cargo.lock', '.github/workflows/docpath.yml']
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
concurrency:
|
|
# Pull requests share one group per branch, so a newer push cancels the older run. Every other
|
|
# run (main, manual) gets a group of its own, so it is neither cancelled nor replaced while queued.
|
|
group: docpath-${{ github.event_name == 'pull_request' && github.ref || github.run_id }}
|
|
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
|
|
|
|
jobs:
|
|
docpath:
|
|
timeout-minutes: 15
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
# macOS runners are kept for releases: macOS runs only when started by hand.
|
|
os: ${{ github.event_name == 'workflow_dispatch' && fromJSON('["ubuntu-latest","windows-latest","macos-latest"]') || fromJSON('["ubuntu-latest","windows-latest"]') }}
|
|
runs-on: ${{ matrix.os }}
|
|
steps:
|
|
- uses: actions/checkout@v7
|
|
- uses: dtolnay/rust-toolchain@b725eda525362e7cf34af9a7243cac1e3f01a7ec # stable
|
|
with:
|
|
components: rustfmt, clippy
|
|
- run: cargo fmt --check
|
|
- run: cargo clippy -p craft-docpath --all-targets --locked -- -D warnings
|
|
- run: cargo test -p craft-docpath --locked -- --nocapture
|