Build and Push Docker Images

Merge pull request #76 from CentreForDigitalHumanities/redux #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-push-agent	1m 6s
build-and-push-server	1m 36s
	2m 42s