summaryrefslogtreecommitdiff
path: root/minici.yaml
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2024-02-18 17:03:22 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2024-02-18 17:03:22 +0100
commit217cb539deec02a11aaf361a5cede4edc73ad2f5 (patch)
tree6c03747942e1399fe6e8ab6dbe6facdd24be4bf6 /minici.yaml
parent0d51cc5e0abb7b2bbf520669e9d30ad1c690c92d (diff)
MiniCI configuration file
Diffstat (limited to 'minici.yaml')
-rw-r--r--minici.yaml13
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