CI

adapt to rocq + remove many warnings #93

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq (9.0)	1m 35s
rocq (dev)	1m 27s
coq (8.18)	13s
coq (8.17)	9s
coq (8.15)	14s
coq (8.20)	14s
coq (8.19)	11s
coq (8.16)	13s
coq (8.14)	9s
	4m 25s

⚡