Skip to content

Actions: coq/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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