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

Adapt to coq/coq#19530. (#330) Deploy #186: Commit 1d7655f pushed by Zimmi48
December 5, 2024 15:40 5m 33s master
master
December 5, 2024 15:40 5m 33s
bug-minimizer: link to run-coq-bug-minimizer/actions more (#329) Deploy #185: Commit 470f46d pushed by JasonGross
November 16, 2024 16:13 5m 30s master
master
November 16, 2024 16:13 5m 30s
Add .mailmap (#328) Deploy #184: Commit 26b1e52 pushed by JasonGross
November 13, 2024 06:21 5m 33s master
master
November 13, 2024 06:21 5m 33s
Update GitLab GraphQL schema. Deploy #183: Commit f17df6c pushed by Zimmi48
October 28, 2024 13:40 5m 24s master
master
October 28, 2024 13:40 5m 24s
Bump OCaml version used in Docker image. (#326) Deploy #182: Commit 3dd0339 pushed by Zimmi48
October 28, 2024 13:37 5m 57s master
master
October 28, 2024 13:37 5m 57s
Update GitHub and GitLab GraphQL schemas. Deploy #181: Commit e832e19 pushed by Zimmi48
October 24, 2024 12:12 9m 20s master
master
October 24, 2024 12:12 9m 20s
Update to mirage-crypto 1.0.0 API (#314) Deploy #180: Commit f4b1980 pushed by Zimmi48
October 22, 2024 10:59 1m 20s master
master
October 22, 2024 10:59 1m 20s
Include stderr in error reports for easier debugging (#320) Deploy #179: Commit 001a4ca pushed by JasonGross
October 16, 2024 17:39 7m 16s master
master
October 16, 2024 17:39 7m 16s
Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324) Deploy #178: Commit d5d3c0b pushed by Zimmi48
October 16, 2024 14:05 8m 16s master
master
October 16, 2024 14:05 8m 16s
Workaround another opam timeout. Deploy #177: Commit 73f6dce pushed by Zimmi48
October 16, 2024 13:27 7m 21s master
master
October 16, 2024 13:27 7m 21s
dune build @fmt --auto-promote with ocamlformat 0.26.2 (#316) Deploy #176: Commit 161e914 pushed by Zimmi48
October 16, 2024 12:42 2m 20s master
master
October 16, 2024 12:42 2m 20s
Post a comment when the bug minimizer fails to start, even when not i… Deploy #175: Commit 7db6b5a pushed by JasonGross
October 14, 2024 00:27 7m 10s master
master
October 14, 2024 00:27 7m 10s
Longer timeout for depext (#322) Deploy #174: Commit d0300d7 pushed by JasonGross
October 14, 2024 00:25 7m 46s master
master
October 14, 2024 00:25 7m 46s
Don't leak the token in the error message (#317) Deploy #173: Commit a1e0cc7 pushed by JasonGross
October 14, 2024 00:24 6m 36s master
master
October 14, 2024 00:24 6m 36s
bug-minimizer: link to run-coq-bug-minimizer/actions more (#312) Deploy #172: Commit 7e8b31f pushed by JasonGross
September 17, 2024 01:29 7m 15s master
master
September 17, 2024 01:29 7m 15s
Simplify Docker image build. Deploy #171: Commit 7ce706b pushed by Zimmi48
September 16, 2024 14:59 6m 42s master
master
September 16, 2024 14:59 6m 42s
Update GitHub and GitLab GraphQL schemas. Deploy #170: Commit 850d39c pushed by Zimmi48
September 13, 2024 13:36 8m 34s master
master
September 13, 2024 13:36 8m 34s
bug-minimizer: link to run-coq-bug-minimizer/actions (#310) Deploy #169: Commit 0502b0b pushed by Zimmi48
September 13, 2024 13:35 1m 49s master
master
September 13, 2024 13:35 1m 49s
Extend connectivity check (#308) Deploy #168: Commit 3400bbd pushed by Zimmi48
July 25, 2024 09:55 5m 47s master
master
July 25, 2024 09:55 5m 47s
Support coqbot resume ci minimize ci-foo url (#298) Deploy #167: Commit d771ab5 pushed by JasonGross
July 17, 2024 04:47 6m 0s master
master
July 17, 2024 04:47 6m 0s
Report a bit more information on unsupported github events (#299) Deploy #166: Commit 302337a pushed by Zimmi48
July 15, 2024 14:53 5m 51s master
master
July 15, 2024 14:53 5m 51s
Rebuild if error "received unexpected HTTP status: 502 Bad Gateway" i… Deploy #165: Commit 7cdf89f pushed by Zimmi48
July 15, 2024 14:52 6m 7s master
master
July 15, 2024 14:52 6m 7s
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