Coq

Bump deps/kami from `de880ce` to `3ab0943` #1402

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (master)	1h 39m 27s
build (8.18.0)	1h 48m 47s
coq-check-all	1s
	3h 28m 15s