diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-17 15:03:23 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-17 15:03:23 +0200 |
| commit | da2e878bf982ea2a0fe7727b68dfa211409973bb (patch) | |
| tree | 4031f5794976911c96ba36742c0c32156a73c0b0 /Makefile | |
| parent | Sketch TestFiniteMapRepresentation (diff) | |
| download | act4e-da2e878bf982ea2a0fe7727b68dfa211409973bb.tar.gz act4e-da2e878bf982ea2a0fe7727b68dfa211409973bb.zip | |
Something weird is going on hereimpl_fail
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -16,7 +16,8 @@ docker-check-%: build act4e-test --collections act4e_checks --module act4e_solutions --group $* check-latest: Homeworks.md build - docker run -it --rm $(tag) act4e-test --collections act4e_checks --module \ + docker run -it -v $(PWD)/out-results:/ACT4E/out-results --rm $(tag) \ + act4e-test --collections act4e_checks --module \ act4e_solutions --group $(shell grep -e "- \[ \] " $< | tr -d "\- [ ]" | head -n1) # check: |