Nix CI for bundle default

Merge pull request #36 from MetaRocq/allow-typed+unsafe #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	45s
ceres	46s
equations	43s
metarocq	47s
verified-extraction	46s
	3m 47s