docker

Roll micro version and date, update NEWS for recent PRs #471

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci	1m 9s
ci-dev	52s
run	-1s
plus	-1s
ci	54s
ci-dev	52s
run	31s
plus	45s
	5m 1s