easycrypt/.github/workflows/ci.yml at 1.0 · vbgl/easycrypt · 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
name: EasyCrypt compilation & check

on: [push,pull_request]

jobs:
  compile:
    name: EasyCrypt compilation
    runs-on: ubuntu-20.04
    container: easycryptpa/ec-build-box
    steps:
    - uses: actions/checkout@v2
    - name: Update OPAM & EasyCrypt dependencies
      run: |
        opam update
        opam pin add -n easycrypt .
        opam install --deps-only easycrypt
    - name: Compile EasyCrypt
      run: opam config exec -- make

  check:
    name: Check EasyCrypt Libraries
    needs: compile
    runs-on: ubuntu-20.04
    container: easycryptpa/ec-build-box
    strategy:
      fail-fast: false
      matrix:
        target: [check, examples]
    steps:
    - uses: actions/checkout@v2
    - name: Update OPAM & EasyCrypt dependencies
      run: |
        opam update
        opam pin add -n easycrypt .
        opam install --deps-only easycrypt
    - name: Compile EasyCrypt
      run: opam config exec -- make
    - name: Detect SMT provers
      run: |
        rm -f ~/.why3.conf
        opam config exec -- ./ec.native why3config -why3 ~/.why3.conf
    - name: Compile Library (${{ matrix.target }})
      env:
        TARGET: ${{ matrix.target }}
      run: opam config exec -- make $TARGET
    - uses: actions/upload-artifact@v2
      name: Upload report.log
      if: always()
      with:
        name: report.log (${{ matrix.target }})
        path: report.log
        if-no-files-found: ignore

  slack:
    name: Slack
    needs: [compile, check]
    if: always()
    runs-on: ubuntu-20.04
    steps:
    - uses: technote-space/workflow-conclusion-action@v2
    - uses: rtCamp/action-slack-notify@v2
      env:
        SLACK_WEBHOOK: ${{ secrets.SLACK_WEBHOOK }}
        SLACK_ICON: https://raw.githubusercontent.com/EasyCrypt/easycrypt/1.0/easycrypt.png
        SLACK_USERNAME: "CI/CD"
        SLACK_COLOR: ${{ env.WORKFLOW_CONCLUSION }}
        SLACK_TITLE: "CI (${{ env.WORKFLOW_CONCLUSION }})"