unify badges style and add circular progress bar to workflow list and details pages #713

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format-prettier	48s
js-tests	53s
docs-sphinx	34s
docker-build	1m 47s
lint-commitlint	11s
lint-dockerfile	4s
lint-js	44s
lint-shellcheck	6s
release-docker	0s
	5m 7s