Coq-Elpi 2.2.2 for Coq 8.19 and Coq 8.20

github-actions released this 15 Jul 07:49

· 92 commits to master since this release

What's Changed

Don't run tests in build target by @proux01 in #661
Adapt to coq/coq#19346 (ComInductive flags) by @SkySkimmer in #657
Update main.yml by @gares in #660
Update dune-project by @gares in #663
prepare release by @gares in #664

Full Changelog: v2.2.1...v2.2.2

Contributors

gares, SkySkimmer, and proux01

Assets 3