Create and publish a Docker image

server ws_ssh.py: hot fix monkey_patch call #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-hackerlab	4m 15s
build-dashboard	1m 0s
	5m 15s