docker-socket-policy/.github/workflows/ci.yml at main · ChainSafe/docker-socket-policy · 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
name: CI

on:
  pull_request:
    branches: [main]

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  quint:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-node@v7
        with:
          node-version: "22"
      - run: npm install -g @informalsystems/quint
      - run: make typecheck
      - run: make test-spec
      - run: make verify BACKEND=typescript

  go:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-go@v7
        with:
          go-version: "1.22"
          cache-dependency-path: go/go.sum
      - run: make lint-go
      - run: make test-go
      - run: make build-go

  rust:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions-rust-lang/setup-rust-toolchain@v1
        with:
          toolchain: "1.85"
      - run: make lint-rs
      - run: make test-rs
      - run: make build-rs

  typescript:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-node@v7
        with:
          node-version: "22"
          cache: npm
          cache-dependency-path: ts/package-lock.json
      - working-directory: ts
        run: npm ci
      - run: make lint-ts
      - run: make test-ts
      - run: make build-ts

  integration:
    runs-on: ubuntu-latest
    needs: [go]
    steps:
      - uses: actions/checkout@v7
      - run: make test-integration
      - run: make test-integration-rs
      - run: make test-integration-ts

  reproducible-build:
    runs-on: ubuntu-latest
    needs: [go, rust, typescript]
    steps:
      - uses: actions/checkout@v7
      - run: make verify-reproducible-all