simplicity/.github/workflows/ci.yml at master · BlockstreamResearch/simplicity · 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
name: CI

on: [push, pull_request]

jobs:
  codespell:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: codespell-project/actions-codespell@v2
        with:
            ignore_words_file: spelling.ignore.txt
            skip: alectryon
  build:
    strategy:
      fail-fast: false
      matrix:
        project: ["c", "haskell"] # coq takes a very long time and times out at 6 hours...
        os: ["ubuntu-latest", macos-latest]
        channel: ["nixos-25.05", "nixpkgs-unstable"]
    runs-on: ${{ matrix.os }}
    permissions:
      id-token: write
      contents: read
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@v17
      - name: Update channel ${{matrix.channel}}
        run: |
          nix-channel --add https://nixos.org/channels/${{matrix.channel}} nixpkgs
          nix-channel --update
      - run: nix-build -A ${{matrix.project}}