Docker build and push CI

Update Rodos to get target `rodos::without_main` (#68) #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker-linux-x86	4m 40s
docker-full	1m 54s
	6m 34s