summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--minici.yaml15
2 files changed, 16 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a9c8b57..5681188 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
build/
.erebos/
.test/
+.minici/
diff --git a/minici.yaml b/minici.yaml
new file mode 100644
index 0000000..b52b3d9
--- /dev/null
+++ b/minici.yaml
@@ -0,0 +1,15 @@
+job build:
+ shell:
+ - make CC=gcc CFLAGS=-Werror CXXFLAGS=-Werror
+ artifact erebos:
+ path: build/src/erebos
+
+job clang:
+ shell:
+ - make CC=clang CFLAGS=-Werror CXXFLAGS=-Werror
+
+job test:
+ uses:
+ - build.erebos
+ shell:
+ - erebos-tester -v