[Agda] Agda and CI?

[Liang-Ting Chen]

Hi,

Have you checked Kokke’s GitHub action?
https://github.com/wenkokke/setup-agda

I’m not sure if you can use it on GitHub or you can find something
equivalent to it.

Dr Liang-Ting Chen
Institute of Information Science
Academia Sinica, Taiwan

https://l-tchen.github.io


On Mon, 23 Oct 2023 at 19:45, Johannes Waldmann <
johannes.waldmann at htwk-leipzig.de> wrote:

> Dear all,
>
> what is the recommended way to check Agda proofs in CI?
> (and run the extracted code)
>
> I have this procedure
>
> https://gitlab.imn.htwk-leipzig.de/waldmann/cetera/-/blob/main/.gitlab-ci.yml
>
> but maybe there are better ways ...
>
> - Johannes.
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231023/0824d0e7/attachment.html>