Nix CI for bundle 8.20

Bump actions/upload-artifact from 5 to 6 (#278) #48

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	43s
stdpp	41s
metacoq	52s
QuickChick	1m 13s
RustExtraction	47s
ElmExtraction	50s
ConCert	11m 32s
	16m 38s