diff options
| author | Nao Pross <np@0hm.ch> | 2023-11-16 21:58:42 +0100 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-11-16 21:58:42 +0100 |
| commit | ae97a52c1e4adb680d4aca553a742279f76528c9 (patch) | |
| tree | 84e3705565fede23de06b185d9f4c8f9a17f5345 /Makefile | |
| parent | Pass TestSemiCategoryRepresentation (diff) | |
| download | act4e-ae97a52c1e4adb680d4aca553a742279f76528c9.tar.gz act4e-ae97a52c1e4adb680d4aca553a742279f76528c9.zip | |
Remove unused Morph and Obj, use equations
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ build: docker build -f Dockerfile --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) . docker-check: build - docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \ + docker run -it --rm $(tag) \ act4e-test --collections act4e_checks --module act4e_solutions |