Nix CI for bundle rocq-9.1

Adapt map_term_with_context for 9.1 guard condition #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	45s
coq	49s
metarocq	31m 47s
	33m 21s