iris-tutorial/.github/workflows/build.yml at master · logsem/iris-tutorial · 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
name: Build Development

on:
  push:
    branches: [ "main", "master" ]
  pull_request:
    branches: [ "main", "master" ]

permissions:
  contents: read
  actions: read

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v6

    - uses: ocaml/setup-ocaml@v3
      with:
        ocaml-compiler: 5.4.0
        dune-cache: true

    - name: Load cache
      id: cache-opam-restore
      uses: actions/cache/restore@v5
      with:
        path: _opam
        key: ${{ runner.os }}-opam-5.4.0-${{ hashFiles('*.opam') }}

    - name: Add opam repositories
      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
      run: |
        opam repo add rocq-released https://rocq-prover.github.io/opam/released/
        opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
        opam update

    - name: Install dependencies
      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
      run: opam install . --deps-only

    - name: Cache dependencies
      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
      uses: actions/cache/save@v5
      with:
        path: _opam
        key: ${{ runner.os }}-opam-5.4.0-${{ hashFiles('*.opam') }}

    - name: Compile & Test
      run: |
        eval $(opam env)
        make ci