You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Could you please tag that commit, or communicate us any other tag
that works with the Coq branch v8.13 at the latest 15 days before the
date of the final release?
The Coq team is planning to release Coq 8.13-beta1 on December 7, 2020
and Coq 8.13.0 on January 7, 2020.
Your project is currently scheduled for being bundled in the Windows installer.
We are currently testing commit 63aa058
on branch https://github.com/QuickChick/QuickChick/tree/master
but we would like to ship a released version instead (a tag in git's slang).
Could you please tag that commit, or communicate us any other tag
that works with the Coq branch v8.13 at the latest 15 days before the
date of the final release?
Thanks!
CC: coq/coq#12334
The text was updated successfully, but these errors were encountered: