diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-05-18 09:23:24 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-05-18 09:25:30 +0200 |
| commit | e05fcad1370d7268a45f51bce2f1e32cc527bb92 (patch) | |
| tree | 34d977956f1d87107dd46a35f74470b7dcd632f1 /minici.yaml | |
| parent | 658bcf425c3fe42ddc48de9b3c344e81564aa898 (diff) | |
CI: run automated tests
Diffstat (limited to 'minici.yaml')
| -rw-r--r-- | minici.yaml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/minici.yaml b/minici.yaml index 95dc61d..0813962 100644 --- a/minici.yaml +++ b/minici.yaml @@ -1,3 +1,13 @@ job build: shell: - cabal build -fci --constraint='megaparsec >= 9.7.0' + - mkdir build + - cp $(cabal list-bin erebos-tester) build/erebos-tester + artifact bin: + path: build/erebos-tester + +job test: + uses: + - build.bin + shell: + - EREBOS_TEST_TOOL='build/erebos-tester --test-mode' erebos-tester --verbose |