Nix CI for bundle 8.20

Application of s-finite kernels to program semantics #66

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
mathcomp	42s
mathcomp-analysis	12m 23s
mathcomp-analysis-single	12m 4s
	25m 45s