csw-locker-contracts/.github/workflows/tests.yml at 9895897b371be8453fca29a748af4776ebecb2f9 · polimartlabs/csw-locker-contracts · 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
name: Run Tests & Update Coverage

on:
  pull_request:
    branches: [main]
  push:
    branches-ignore: [main]

jobs:
  test:
    runs-on: ubuntu-latest
    permissions:
      contents: write
    steps:
      - uses: actions/checkout@v4
      - uses: pnpm/action-setup@v4
        with:
          version: latest
      - uses: actions/setup-node@v4
        with:
          node-version: "20"
          cache: pnpm

      - name: Install dependencies
        run: pnpm install --frozen-lockfile

      - name: Generate artifacts and run tests
        run: |
          pnpm generate
          pnpm test -- --coverage

      - name: Normalize lcov.info paths and commit coverage report
        if: github.event_name == 'push'
        run: |
          # Convert absolute CI paths to relative paths for local compatibility
          sed -i "s|$(pwd)/||g" lcov.info
          git config user.email "action@github.com"
          git config user.name "GitHub Action"
          git add lcov.info
          if ! git diff --staged --quiet; then
            git commit -m "Update coverage report [skip ci]"
            git push origin HEAD:${{ github.ref_name }}
          else
            echo "No coverage changes to commit."
          fi

  rendezvous:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: pnpm/action-setup@v4
        with:
          version: latest
      - uses: actions/setup-node@v4
        with:
          node-version: "20"
          cache: pnpm

      - name: Install dependencies
        run: pnpm install --frozen-lockfile

      - name: Run smart-wallet-standard Rendezvous invariant testing
        run: npx rv . smart-wallet-standard invariant --runs=1000

      - name: Run smart-wallet-standard Rendezvous property-based testing
        run: npx rv . smart-wallet-standard test --runs=1000

      - name: Run csw-registry Rendezvous invariant testing
        run: npx rv . csw-registry invariant --runs=1000

      - name: Run csw-registry Rendezvous property-based testing
        run: npx rv . csw-registry test --runs=1000