Stream: Coq devs & plugin devs

Topic: Getting statistics about CI time


view this post on Zulip Jason Gross (Jul 27 2022 at 15:48):

Is there a way to fetch the build historical build times of each Coq GitLab CI job (ideally programmatically)?

view this post on Zulip Gaëtan Gilbert (Jul 27 2022 at 16:02):

something through https://docs.gitlab.com/ee/api/jobs.html or https://docs.gitlab.com/ee/api/graphql/reference/index.html#projectjobs should work

view this post on Zulip Gaëtan Gilbert (Jul 27 2022 at 16:04):

non programmatically you just go to the job page


Last updated: Feb 01 2023 at 15:04 UTC