Emilio Jesús Gallego Arias (May 29 2020 at 14:53): Emilio Jesús Gallego Arias (May 29 2020 at 14:53):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.
Emilio Jesús Gallego Arias (Jun 02 2020 at 11:41):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?
Théo Zimmermann (Jun 02 2020 at 12:55):I haven't had time to look at the PR yet, but I'd be happy to see such a move.
Théo Zimmermann (Jun 02 2020 at 16:16):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).
Emilio Jesús Gallego Arias (Jun 02 2020 at 16:49):@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]
Emilio Jesús Gallego Arias (Jun 05 2020 at 11:49):I got side-tracked with other stuff so definitively this will miss 8.12
Last updated: May 31 2023 at 16:01 UTC