Nix CI for bundle 8.20

Bump actions/download-artifact from 6 to 7 (#279) #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	46s
QuickChick	1m 5s
metacoq	57s
stdpp	55s
RustExtraction	45s
ElmExtraction	41s
ConCert	11m 55s
	17m 4s