CI (Coq, Windows)

Bump rupicola from `2aa6b13` to `e849928` (#1850) #4353

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
windows	3h 29m 18s
test-standalone	21s
publish-standalone	16s
windows-check-all	1s
	3h 29m 56s