Skip to content

Actions: coq/bot

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
22 workflow runs
22 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update GitHub and GraphQL schemas. Deploy #160: Commit e5e0353 pushed by Zimmi48
May 17, 2024 16:53 5m 34s master
master
May 17, 2024 16:53 5m 34s
Fix "got more than one checkSuite" message when actually got 0 (#302) Deploy #159: Commit e0942d0 pushed by Alizter
April 17, 2024 12:33 5m 38s master
master
April 17, 2024 12:33 5m 38s
dune build @fmt --auto-promote (ocamlformat 0.26.1) (#296) Deploy #158: Commit 1122573 pushed by JasonGross
January 27, 2024 19:10 5m 22s master
master
January 27, 2024 19:10 5m 22s
Strip out more ANSI color codes (#297) Deploy #157: Commit 2957d1b pushed by JasonGross
January 16, 2024 18:08 6m 8s master
master
January 16, 2024 18:08 6m 8s
Fix issue with coqbot not pushing merge commits anymore. Deploy #156: Commit b8e9db5 pushed by Zimmi48
October 9, 2023 11:14 6m 58s master
master
October 9, 2023 11:14 6m 58s
Fix parentheses leading to running the mirror action before the git r… Deploy #155: Commit e9760db pushed by Zimmi48
October 6, 2023 16:30 7m 12s master
master
October 6, 2023 16:30 7m 12s
Fix support for mirroring tags. Deploy #154: Commit 16cc99c pushed by Zimmi48
October 6, 2023 16:23 8m 49s master
master
October 6, 2023 16:23 8m 49s
Adapt the job trace parsing for Checks tab summary after recent chang… Deploy #153: Commit b7899d0 pushed by Zimmi48
September 3, 2023 09:58 6m 54s master
master
September 3, 2023 09:58 6m 54s
Update GitLab GraphQL schema. Deploy #152: Commit e273a88 pushed by Zimmi48
September 3, 2023 09:28 8m 46s master
master
September 3, 2023 09:28 8m 46s
Migrate Coq's CI mirroring to Inria's gitlab (#291) Deploy #151: Commit 9a2d45e pushed by Zimmi48
September 3, 2023 08:52 8m 5s master
master
September 3, 2023 08:52 8m 5s
Fix strip_quoted_bot_name for comments containing a colon and add exp… Deploy #150: Commit 7c4fbb6 pushed by Zimmi48
July 12, 2023 15:11 8m 35s master
master
July 12, 2023 15:11 8m 35s
Fix regexp and abstract variable parts. Deploy #149: Commit 77b3898 pushed by Zimmi48
June 13, 2023 15:08 8m 1s master
master
June 13, 2023 15:08 8m 1s
Update GitHub and GitLab GraphQL schema. Deploy #148: Commit 2de93eb pushed by Zimmi48
June 13, 2023 15:00 9m 38s master
master
June 13, 2023 15:00 9m 38s
Activates mirroring to Inria GitLab for mathcomp/mathcomp. Deploy #147: Commit 429cc10 pushed by Zimmi48
June 13, 2023 14:33 8m 11s master
master
June 13, 2023 14:33 8m 11s
Fix auto-formatting. Deploy #146: Commit 1945e4e pushed by Zimmi48
May 30, 2023 12:00 10m 2s master
master
May 30, 2023 12:00 10m 2s
Mirror feature + multi-GitLab instance support. (#276) Deploy #145: Commit 3030878 pushed by Zimmi48
May 30, 2023 11:57 3m 26s master
master
May 30, 2023 11:57 3m 26s
Do not lose error message when createCheckRun query fails. Deploy #144: Commit 692ddd9 pushed by Zimmi48
May 22, 2023 10:23 8m 16s master
master
May 22, 2023 10:23 8m 16s
Update the GitHub and GitLab GraphQL schemas. Deploy #143: Commit b8a8a62 pushed by Zimmi48
May 22, 2023 10:15 9m 35s master
master
May 22, 2023 10:15 9m 35s
bench: use html tables when available (coq/coq#17559) (#281) Deploy #142: Commit a660554 pushed by JasonGross
May 4, 2023 20:03 8m 11s master
master
May 4, 2023 20:03 8m 11s
Update GitLab GraphQL schema. Deploy #141: Commit 5014cda pushed by Zimmi48
April 18, 2023 13:25 8m 24s master
master
April 18, 2023 13:25 8m 24s
Commit correct auto-generated opam file after recent dune-project upd… Deploy #140: Commit 6b3e69f pushed by Zimmi48
April 17, 2023 17:35 8m 14s master
master
April 17, 2023 17:35 8m 14s
Strip spaces from quote_kind (#274) Deploy #139: Commit d37bb9e pushed by JasonGross
April 16, 2023 18:23 10m 46s master
master
April 16, 2023 18:23 10m 46s