Deploy Docker Images

Deploy Docker Images #38

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy (langutils)	28m 9s
deploy (synthesis)	43m 47s
deploy (simulation)	9m 42s
	1h 21m 38s