CI

Update version and improve GitHub polling in dashboard #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sanity / Clippy	1m 27s
sanity / Check	1m 30s
sanity / Test documentation	39s
sanity / Rustfmt	15s
sanity / Unused dependencies	49s
build-and-test	0s
trigger-docker	0s
	4m 40s