Skip to content

Actions: rocq-prover/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

Fix use of wrong function to update issue milestone. (#366) Deploy #216: Commit 717951f pushed by Zimmi48
5m 39s master
master
5m 39s
Fix bug with run full CI in review comment. (#364) Deploy #215: Commit 8158331 pushed by Zimmi48
5m 41s master
master
5m 41s
Refactor: pure refactor the bot-components (#363) Deploy #214: Commit e13819f pushed by Zimmi48
5m 12s master
master
5m 12s
Update/fix dependency requirements in Nix and opam. Deploy #213: Commit a804aae pushed by Zimmi48
5m 32s master
master
5m 32s
Refactor src folder (#362) Deploy #212: Commit 17b3d81 pushed by lykimq
5m 27s master
master
5m 27s
Remove the optional of github_token, make github_pat optional (#361) Deploy #211: Commit 9a84ab3 pushed by lykimq
5m 32s master
master
5m 32s
Refactor: Split src codebase and move reusable functions to `bot-co… Deploy #210: Commit 7934b50 pushed by lykimq
5m 16s master
master
5m 16s
Move src/helpers to bot-components (#351) Deploy #209: Commit 1513ac8 pushed by lykimq
5m 32s master
master
5m 32s
Move src/github_installations to bot-components (#350) Deploy #208: Commit 74f8845 pushed by lykimq
5m 45s master
master
5m 45s
Move src/git_utils to bot-components/Git_utils (#349) Deploy #207: Commit 225bb24 pushed by lykimq
5m 23s master
master
5m 23s
Add reference to IEEE Software article to CITATION.cff. Deploy #206: Commit 6da486d pushed by Zimmi48
5m 43s master
master
5m 43s
Report more detailed information when failing to find pipeline checks… Deploy #205: Commit e75efb8 pushed by JasonGross
5m 20s master
master
5m 20s
Invert the logic of the auto-minimization suggestions. (#345) Deploy #204: Commit 2caab63 pushed by Zimmi48
5m 53s master
master
5m 53s
dune build @fmt --auto-promote with ocamlformat 0.26.2 Deploy #203: Commit 7266cba pushed by JasonGross
5m 18s master
master
5m 18s
Renamed gitlab mirror of rocq-prover/opam Deploy #202: Commit 8eb0fda pushed by SkySkimmer
5m 43s master
master
5m 43s
Include option to disable minimization suggestions in PR body. Deploy #201: Commit 1d3c2d4 pushed by Zimmi48
5m 25s master
master
5m 25s
Update milestone must be done differently for issues and pull request… Deploy #200: Commit f16e263 pushed by Zimmi48
6m 9s master
master
6m 9s
Update GitHub/GitLab GraphQL schema. Deploy #199: Commit 723a08a pushed by Zimmi48
5m 42s master
master
5m 42s
More robust parsing of webhook payload. Deploy #198: Commit 8e066e0 pushed by Zimmi48
6m 5s master
master
6m 5s
Adapt for updated GraphQL schema in GitLab 17.11. Deploy #197: Commit 1760e1b pushed by Zimmi48
5m 33s master
master
5m 33s
Fix occurrence of Coq in README. Deploy #196: Commit aa1fe9f pushed by Zimmi48
5m 18s master
master
5m 18s
Add support for mirroring with non-matching full repo names and use it. Deploy #195: Commit 48226d9 pushed by Zimmi48
5m 27s master
master
5m 27s
Backtrack on renaming of GitLab repository. Deploy #194: Commit dcb96e2 pushed by Zimmi48
5m 26s master
master
5m 26s
Minimal updates for the rocq-prover GitHub organization migration. (#… Deploy #193: Commit 5c23c49 pushed by Zimmi48
5m 37s master
master
5m 37s
Update GitHub and GitLab GraphQL schema. Deploy #192: Commit f0256d6 pushed by Zimmi48
5m 26s master
master
5m 26s