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
Add continuous integration for windows. This will also allow us to automatically produce a coq platform/windows/macOS installer
Make sure that Coq utilities are on the PATH in windows, so that the tactician utility works
Change makefile such that tactician utility is installed on windows too (instead of only through opam). Also depends on https://github.com/coq/coq/issues/11531 to set the PATH
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: