Stream: Coq devs & plugin devs

Topic: Github Actions


view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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).

view this post on Zulip 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]

view this post on Zulip 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: Oct 15 2021 at 21:02 UTC