Hi all, I've enabled Github Actions in the repository settings as to be able to test https://github.com/coq/coq/pull/12425 ; this is just for now until more discussion happens; let me know if that does create any problems.
Things are not yet fully working but IMO it is doable to try to generate packages this way; we could also profit from caching for the cygwin part I think. Current scripts are a bit hard to develop with unfortunately. @Théo Zimmermann , any thoughts?
I haven't had time to look at the PR yet, but I'd be happy to see such a move.
Any idea why GitHub Action doesn't run in coq-community/semantics#2 while it does in coq/coq#12425 (GitHub Actions are fully activated, local and external, on this repo).
@Théo Zimmermann I don't have permissions to see the actual setup, but it should run, maybe you wanna try the more general
on: for now [that runs for all PRs]
I got side-tracked with other stuff so definitively this will miss 8.12
Last updated: Oct 15 2021 at 21:02 UTC