CI (Coq, docker, dev)

Fix publish.yml: Remove useless setup-rust-action #764

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	4h 53m 42s
test-amd64	3h 18m 37s
	8h 12m 19s