Skip to content

Actions: rocq-prover/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix regex character class handling for newline/CR in minimize parser CI #8: Pull request #368 synchronize by Copilot AI
1m 25s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 25s
Addressing comment on PR #368 Copilot coding agent #9: by Copilot AI
2m 18s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
2m 18s
Fix regex character class handling for newline/CR in minimize parser CI #7: Pull request #368 synchronize by Copilot AI
1m 8s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 8s
Addressing comment on PR #368 Copilot coding agent #8: by Copilot AI
2m 23s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
2m 23s
Fix regex character class handling for newline/CR in minimize parser CI #6: Pull request #368 synchronize by Copilot AI
1m 27s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 27s
Addressing comment on PR #368 Copilot coding agent #7: by Copilot AI
1m 46s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 46s
Fix regex character class handling for newline/CR in minimize parser CI #5: Pull request #368 synchronize by Copilot AI
1m 22s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 22s
Addressing comment on PR #368 Copilot coding agent #6: by Copilot AI
2m 15s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
2m 15s
Fix regex character class handling for newline/CR in minimize parser CI #4: Pull request #368 synchronize by Copilot AI
1m 23s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 23s
Addressing comment on PR #368 Copilot coding agent #5: by Copilot AI
2m 19s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
2m 19s
Fix regex character class handling for newline/CR in minimize parser CI #3: Pull request #368 synchronize by Copilot AI
1m 15s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 15s
Addressing comment on PR #368 Copilot coding agent #4: by Copilot AI
1m 40s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 40s
Fix regex character class handling for newline/CR in minimize parser CI #2: Pull request #368 synchronize by Copilot AI
1m 46s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 46s
Addressing comment on PR #368 Copilot coding agent #3: by Copilot AI
1m 36s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 36s
Fix regex character class handling for newline/CR in minimize parser CI #1: Pull request #368 synchronize by Copilot AI
1m 14s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 14s
Addressing comment on PR #368 Copilot coding agent #2: by Copilot AI
1m 30s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
1m 30s
Running Copilot coding agent Copilot coding agent #1: by Copilot AI
18m 36s copilot/fix-ci-minimize-comments
copilot/fix-ci-minimize-comments
18m 36s
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