geo2a
commented
2 years ago - drop z3 from Dockerfile, as the correct version is already provided by the base image
- check Python code style in CI
- Untangle KAVM specs' Makefile targets into three separate groups: internal, opcodes and programs