Stream: coqbot devs & users

Topic: Dataflow in coqbot


view this post on Zulip Ali Caglayan (Mar 16 2022 at 16:50):

@Théo Zimmermann I think it would be beneficial to stop relying on regexing summaries and whatnot in various places for the app.

view this post on Zulip Ali Caglayan (Mar 16 2022 at 16:51):

The API for getting data such as GitLab information etc can be improved.

view this post on Zulip Ali Caglayan (Mar 16 2022 at 16:51):

I see that the minimizer is doing a lot of fragile checks to look for statuses of jobs for example, that could be swapped out with proper API support.

view this post on Zulip Théo Zimmermann (Mar 16 2022 at 16:53):

Possibly. In the meantime, I've remembered that GitHub Checks allow you to provide an externalId: String as part of a check run, in case you need to remember some ID from the external service for later reuse.

view this post on Zulip Théo Zimmermann (Mar 16 2022 at 16:53):

This could have been a way of storing the project id without modifying the pipeline summary.


Last updated: May 28 2023 at 18:29 UTC