MathCAT/.github/workflows/rust.yml at main · daisy/MathCAT · GitHub

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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
name: Rust

on: [push, pull_request] # note: pre-release job still only on 'refs/heads/main'

env:
  CARGO_TERM_COLOR: always
  RUSTFLAGS: "-Dwarnings"

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        include:
          - name: default
            features: ""
          - name: no-unsafe
            features: "--features no-unsafe"
    name: Build and Test (${{ matrix.name }})
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v5
    - name: Build (${{ matrix.name }})
      run: cargo build ${{ matrix.features }} --verbose
    - name: Run tests (${{ matrix.name }})
      run: cargo test ${{ matrix.features }} --verbose

  clippy:
    strategy:
      fail-fast: false
      matrix:
        include:
          - name: default
            features: ""
          - name: no-unsafe
            features: "--features no-unsafe"
    name: Clippy/Lint check (${{ matrix.name }})
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v5
    - name: run clippy (${{ matrix.name }})
      run: cargo clippy ${{ matrix.features }}

  zip-rules:
    name: zip up the rules directory
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v5
    - uses: dtolnay/rust-toolchain@stable
    - name: Create Rules.zip
      run: cargo run --bin package-rules -- Rules Rules.zip
    - name: Create Rules-minimized.zip
      run: cargo run --bin package-rules -- Rules Rules-minimized.zip --minimize
    - name: Upload Rules.zip
      uses: actions/upload-artifact@v7
      with:
        name: 'Rules.zip'
        path: 'Rules.zip'
        compression-level: 0
        retention-days: 1
    - name: Upload Rules-minimized.zip
      uses: actions/upload-artifact@v7
      with:
        name: 'Rules-minimized.zip'
        path: 'Rules-minimized.zip'
        compression-level: 0
        retention-days: 1

  test-rules-package:
    name: Test (${{ matrix.feature_name }}, ${{ matrix.rules_zip }})
    needs: zip-rules
    strategy:
      fail-fast: false
      matrix:
        rules_zip: [Rules.zip, Rules-minimized.zip]
        include:
          - feature_name: default
            features: ""
          - feature_name: no-unsafe
            features: "--features no-unsafe"
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v5
    - name: Download ${{ matrix.rules_zip }}
      uses: actions/download-artifact@v8
      with:
        name: ${{ matrix.rules_zip }}
    - name: Install packaged Rules
      run: |
        rm -rf Rules
        unzip -q "${{ matrix.rules_zip }}"
        # Release zips omit the synthetic zz test language; restore it for unit tests only.
        git checkout HEAD -- Rules/Languages/zz
    - name: Run tests (${{ matrix.feature_name }})
      run: cargo test ${{ matrix.features }} --verbose

  pre-release:
    name: Pre Release
    continue-on-error: false
    if: github.event_name == 'push' && github.ref == 'refs/heads/main' # otherwise, job fails on pull requests, as GITHUB_TOKEN is not available
    needs: [build, clippy, zip-rules, test-rules-package]
    runs-on: ubuntu-latest
    permissions:
      contents: write
    steps:
    - name: download Rules.zip
      uses: actions/download-artifact@v8
      with:
        name: Rules.zip
    - name: download Rules-minimized.zip
      uses: actions/download-artifact@v8
      with:
        name: Rules-minimized.zip
    # Moving 'latest' prerelease (replaces marvinpinto/action-automatic-releases)
    - name: Development Build release
      env:
        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      run: |
        REPO="${{ github.repository }}"
        SHA="${{ github.sha }}"
        # No checkout in this job — always pass --repo.
        gh release delete latest --repo "$REPO" --yes --cleanup-tag || true
        gh api --method DELETE "repos/${REPO}/git/refs/tags/latest" || true
        gh release create latest \
          --repo "$REPO" \
          --target "$SHA" \
          --prerelease \
          --latest=false \
          --title "Development Build" \
          --notes "Development build from ${SHA}" \
          Rules.zip \
          Rules-minimized.zip