Build and Push Docker Images

Merge pull request #80 from CentreForDigitalHumanities/ci/tagging #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-push-agent	53s
build-and-push-server	1m 8s
scan-agent	37s
scan-server	35s
	3m 13s