diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-02-18 17:03:22 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-02-18 17:03:22 +0100 |
| commit | 217cb539deec02a11aaf361a5cede4edc73ad2f5 (patch) | |
| tree | 6c03747942e1399fe6e8ab6dbe6facdd24be4bf6 | |
| parent | 0d51cc5e0abb7b2bbf520669e9d30ad1c690c92d (diff) | |
MiniCI configuration file
| -rw-r--r-- | minici.yaml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/minici.yaml b/minici.yaml new file mode 100644 index 0000000..2ff317b --- /dev/null +++ b/minici.yaml @@ -0,0 +1,13 @@ +job build: + shell: + - cabal build + - mkdir build + - cp $(cabal list-bin erebos) build/erebos + artifact erebos: + path: build/erebos + +job test: + uses: + - build.erebos + shell: + - EREBOS_TEST_TOOL='build/erebos test' erebos-tester -v |