mpst_rust_github/.github/workflows/mac.yml at main · NicolasLagaillardie/mpst_rust_github · 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
name: Mac

on: [push, pull_request]

jobs:
  mac-build:
    name: Build, test and benchmarks all on MacOS

    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [macOS-latest]
        rust: [stable, 1.77]

    steps:
    - uses: actions/checkout@v4
    # - name: Install Haskell
    #   uses: actions/setup-haskell@v1.1
    #   with:
    #     ghc-version: 'latest'
    #     cabal-version: 'latest'
    # - name: Set up Python
    #   uses: actions/setup-python@v2
    #   with:
    #     python-version: 'latest'
    # - name: Install Python dependencies
    #   run: |
    #     python -m pip install --upgrade pip
    #     pip install matplotlib scipy
    # - name: Install cabal dependencies
    #   run: |
    #     cabal install cmdargs ansi-terminal parallel split MissingH --lib
    # - name: Install KMC
    #   run: |
    #     cd ..
    #     git clone https://bitbucket.org/julien-lange/kmc-cav19.git
    #     cd kmc-cav19
    #     ghc KMC -threaded
    #     ghc GenCFSMs
    - name: Check Rust version
      run: rustup --version
    - name: Format
      run: cargo fmt --verbose --all -- --check
    - name: Clippy
      run: cargo clippy --workspace --all-features --all-targets --verbose -- -D warnings
    - name: Build lib
      run: cargo build --verbose --workspace --all-features
    - name: Test all targets but skip kmc and transport_udp
      run: |
        cargo test --verbose --all-targets --workspace --no-default-features -- --skip kmc --skip transport_udp
        cargo test --verbose --all-targets --workspace -- --skip kmc --skip transport_udp
        cargo test --verbose --all-targets --workspace --all-features -- --skip kmc --skip transport_udp