8000 CI · Workflow runs · trishullab/copra · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: trishullab/copra

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #83 from trishullab/usr/amit9oct/added-bedrock CI #39: Commit b28e582 pushed by amit9oct
May 14, 2025 22:21 5m 12s main
main
May 14, 2025 22:21 5m 12s
Increased claude token limit CI #38: Pull request #83 opened by amit9oct
May 14, 2025 22:11 4m 11s usr/amit9oct/added-bedrock
usr/amit9oct/added-bedrock
May 14, 2025 22:11 4m 11s
Merge pull request #82 from trishullab/usr/amit9oct/added-bedrock CI #37: Commit 36c8352 pushed by amit9oct
May 13, 2025 22:19 3m 18s main
main
May 13, 2025 22:19 3m 18s
Added AWS bedrock support for models Claude and DeepSeek CI #36: Pull request #82 opened by amit9oct
May 13, 2025 22:02 3m 14s usr/amit9oct/added-bedrock
usr/amit9oct/added-bedrock
May 13, 2025 22:02 3m 14s
Merge pull request #81 from trishullab/usr/amit9oct/allowing-o4-mini CI #35: Commit bf460d7 pushed by amit9oct
May 13, 2025 10:01 4m 3s main
main
May 13, 2025 10:01 4m 3s
Added support for o4-mini CI #34: Pull request #81 opened by amit9oct
May 13, 2025 09:53 3m 48s usr/amit9oct/allowing-o4-mini
usr/amit9oct/allowing-o4-mini
May 13, 2025 09:53 3m 48s
Merge pull request #79 from trishullab/usr/amit9oct/updated-itp-inter… CI #33: Commit 7d3373e pushed by amit9oct
May 8, 2025 10:28 3m 36s main
main
May 8, 2025 10:28 3m 36s
Usr/amit9oct/updated itp interface CI #32: Pull request #79 opened by amit9oct
May 8, 2025 10:24 3m 11s usr/amit9oct/updated-itp-interface
usr/amit9oct/updated-itp-interface
May 8, 2025 10:24 3m 11s
Merge pull request #78 from trishullab/usr/amit9oct/updated-itp-inter… CI #31: Commit dfd5bff pushed by amit9oct
May 8, 2025 09:58 5m 10s main
main
May 8, 2025 09:58 5m 10s
Fixed have tactics. CI #30: Pull request #78 synchronize by amit9oct
May 8, 2025 09:55 3m 14s usr/amit9oct/updated-itp-interface
usr/amit9oct/updated-itp-interface
May 8, 2025 09:55 3m 14s
Fixed have tactics. CI #29: Pull request #78 opened by amit9oct
May 8, 2025 09:53 3m 25s usr/amit9oct/updated-itp-interface
usr/amit9oct/updated-itp-interface
May 8, 2025 09:53 3m 25s
Merge pull request #77 from trishullab/usr/amit9oct/updated-itp-inter… CI #28: Commit 37c91bc pushed by amit9oct
May 6, 2025 22:12 3m 29s main
main
May 6, 2025 22:12 3m 29s
Updated copra prover version CI #27: Pull request #77 opened by amit9oct
May 6, 2025 22:05 3m 22s usr/amit9oct/updated-itp-interface
usr/amit9oct/updated-itp-interface
May 6, 2025 22:05 3m 22s
Merge pull request #76 from trishullab/usr/amit9oct/updated-itp-inter… CI #26: Commit ed4aed5 pushed by amit9oct
May 6, 2025 22:03 3m 23s main
main
May 6, 2025 22:03 3m 23s
updated itp interface CI #25: Pull request #76 opened by amit9oct
May 6, 2025 21:58 4m 8s usr/amit9oct/updated-itp-interface
usr/amit9oct/updated-itp-interface
May 6, 2025 21:58 4m 8s
Merge pull request #75 from trishullab/usr/amit9oct/have-bug-fix CI #24: Commit 77c4f18 pushed by amit9oct
May 5, 2025 20:39 4m 14s main
main
May 5, 2025 20:39 4m 14s
Fixed have tactic issues. CI #23: Pull request #75 synchronize by amit9oct
May 5, 2025 20:34 3m 24s usr/amit9oct/have-bug-fix
usr/amit9oct/have-bug-fix
May 5, 2025 20:34 3m 24s
Fixed have tactic issues. CI #22: Pull request #75 opened by amit9oct
May 5, 2025 19:57 4m 5s usr/amit9oct/have-bug-fix
usr/amit9oct/have-bug-fix
May 5, 2025 19:57 4m 5s
Merge pull request #74 from trishullab/usr/amit9oct/remove-unecessary… CI #21: Commit 4baea74 pushed by amit9oct
May 3, 2025 20:11 3m 45s main
main
May 3, 2025 20:11 3m 45s
Usr/amit9oct/remove unecessary stuff CI #20: Pull request #74 opened by amit9oct
May 3, 2025 20:07 3m 31s usr/amit9oct/remove-unecessary-stuff
usr/amit9oct/remove-unecessary-stuff
May 3, 2025 20:07 3m 31s
Merge pull request #73 from trishullab/usr/amthakur/claude-support CI #19: Commit 2cf5b89 pushed by amit9oct
May 3, 2025 19:41 3m 33s main
main
May 3, 2025 19:41 3m 33s
Usr/amthakur/claude support CI #18: Pull request #73 opened by amit9oct
May 3, 2025 19:35 3m 36s usr/amthakur/claude-support
usr/amthakur/claude-support
May 3, 2025 19:35 3m 36s
Merge pull request #72 from trishullab/usr/amit9oct/fix-have-tactic-m… CI #17: Commit 99341fd pushed by amit9oct
May 2, 2025 15:05 3m 41s main
main
May 2, 2025 15:05 3m 41s
Fixed have token CI #16: Pull request #72 opened by amit9oct
May 2, 2025 04:18 3m 34s usr/amit9oct/fix-have-tactic-mistake
usr/amit9oct/fix-have-tactic-mistake
May 2, 2025 04:18 3m 34s
Updated project version CI #15: Commit ef719a1 pushed by amit9oct
April 27, 2025 23:56 3m 6s main
main
April 27, 2025 23:56 3m 6s
0