From 217cb539deec02a11aaf361a5cede4edc73ad2f5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 18 Feb 2024 17:03:22 +0100 Subject: MiniCI configuration file --- minici.yaml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 minici.yaml 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 -- cgit v1.2.3