tlafmt 0.4.1

A formatter for TLA+ specs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

name: lint
on:
  workflow_call:
  pull_request:
  push:
    branches: [master]

permissions: {}

jobs:
  lint:
    runs-on: ubuntu-latest
    container:
      image: rust:latest
      env:
        CARGO_HOME: "/cargo/"

    steps:
      - name: ensure node is installed for act
        if: ${{ env.ACT }}
        run: command -v node || (apt update && apt install -y nodejs zstd)

      - uses: actions/checkout@v4
        with:
          persist-credentials: false

      - name: Cache cargo dir
        id: cargo-dir
        uses: actions/cache@v4
        with:
          key: ${{ runner.os }}-cargo-${{ hashFiles('Cargo.lock') }}
          restore-keys: ${{ runner.os }}-cargo
          path: /cargo

      - name: Cache target dir
        id: target-dir
        uses: actions/cache@v4
        with:
          key: ${{ runner.os }}-target-dir-${{ hashFiles('Cargo.lock') }}
          restore-keys: ${{ runner.os }}-target-dir
          path: target

      - name: rustup add components
        run: rustup component add clippy rustfmt

      - name: fmt
        run: cargo fmt --all -- --check

      - name: clippy
        run: cargo clippy --workspace -- -D warnings

      - name: docs
        run: cargo doc --workspace --all-features --document-private-items --no-deps