Skip to content

Actions: coq/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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