Generalize container scripts using build arguments and environment va… · weaversa/cryptol-course@284d990

Docker pull failed with exit code 1

Docker pull failed with exit code 1, back off 6.725 seconds before retry.

Docker pull failed with exit code 1, back off 4.909 seconds before retry.