Nix CI for bundle 8.16

Removed all version of Coq from CI except for 8.18 #4

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	30s
hahn	0s
ITree	0s
sflib	0s
hahnExt	0s
promising-lib	0s
promising-ir	0s
	30s