Revision 6e019106ccb8111f6176e1b1f7ca52edab718799 authored by Benjamin Gregoire on 11 January 2021, 17:49:21 UTC, committed by Benjamin Gregoire on 11 January 2021, 17:49:21 UTC
1 parent 5597729
config.yml
version: 2.1
orbs:
slack: circleci/slack@4.1.4
executors:
default:
docker:
- image: easycryptpa/ec-build-box
working_directory: ~/easycrypt
commands:
setup:
steps:
- checkout
- run:
name: Update Dependencies
command: |
opam update
opam pin add -n easycrypt .
opam install --deps-only easycrypt
build:
steps:
- run:
name: Compile EasyCrypt
command: opam config exec -- make
check:
parameters:
target:
type: string
steps:
- run:
name: Compile EasyCrypt Library (<< parameters.target >>)
command: opam config exec -- make << parameters.target >>
notify:
steps:
- slack/notify:
event: fail
template: basic_fail_1
jobs:
build:
executor: default
steps:
- setup
- build
- notify
check:
executor: default
parameters:
target:
type: string
steps:
- setup
- build
- check:
target: << parameters.target >>
- notify
- store_artifacts:
path: report.log
destination: report-<< parameters.target >>.log
workflows:
matrix-tests:
jobs:
- build:
context: slack
- check:
requires: [build]
context: slack
matrix:
parameters:
target: [check, examples]
Computing file changes ...