Skip to content

Actions: coq/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge PR #306: README is not an overlay. Deploy #164: Commit 53ef64c pushed by Zimmi48
July 5, 2024 19:05 6m 32s master
master
July 5, 2024 19:05 6m 32s
Migrate release management to GitHub projects v2 (#305) Deploy #163: Commit 6cc9f25 pushed by Zimmi48
July 5, 2024 15:06 6m 13s master
master
July 5, 2024 15:06 6m 13s
Update GitLab GraphQL schema. Deploy #162: Commit 8f3d44f pushed by Zimmi48
June 18, 2024 14:26 6m 2s master
master
June 18, 2024 14:26 6m 2s
Fix: use simpler GraphQL query when only ID is needed. Deploy #161: Commit b95de99 pushed by Zimmi48
June 17, 2024 09:10 5m 39s master
master
June 17, 2024 09:10 5m 39s
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