Bring back docker image#1211

Merged

david-crespo merged 9 commits intomainfrom

undelete-docker

Jun 17, 2022

Commits on Jun 15, 2022

Revert "don't build docker images in CI (#1062)"
david-crespo
committed
update readme to mention CLI, not console
david-crespo
committed
the obvious thing would be to use install_prereqs.sh directly, but let's try this instead
david-crespo
committed
give up, attempt to run install_prerequisites.sh
david-crespo
committed
just for fun, remove sudo from install prereqs script
david-crespo
committed
also try copying the install step out of the script, but *before* cargo build
david-crespo
committed
Revert "just for fun, remove sudo from install prereqs script"
david-crespo
committed

Commits on Jun 16, 2022