8000 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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish to PyPI Publish to PyPI #11: Manually run by amit9oct
May 14, 2025 22:55 47s main
main
May 14, 2025 22:55 47s
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
pages build and deployment pages-build-deployment #82: by amit9oct
May 14, 2025 22:21 30s main
main
May 14, 2025 22:21 30s
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
Publish to PyPI Publish to PyPI #10: Manually run by amit9oct
May 13, 2025 22:20 55s main
main
May 13, 2025 22:20 55s
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
pages build and deployment pages-build-deployment #81: by amit9oct
May 13, 2025 22:19 25s main
main
May 13, 2025 22:19 25s
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
Publish to PyPI Publish to PyPI #9: Manually run by amit9oct
May 13, 2025 10:02 44s main
main
May 13, 2025 10:02 44s
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
pages build and deployment pages-build-deployment #80: by amit9oct
May 13, 2025 10:01 42s main
main
May 13, 2025 10:01 42s
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
Publish to PyPI Publish to PyPI #8: Manually run by amit9oct
May 8, 2025 10:30 40s main
main
May 8, 2025 10:30 40s
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
pages build and deployment pages-build-deployment #79: by amit9oct
May 8, 2025 10:28 34s main
main
May 8, 2025 10:28 34s
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
Publish to PyPI Publish to PyPI #7: Manually run by amit9oct
May 8, 2025 10:00 45s main
main
May 8, 2025 10:00 45s
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
pages build and deployment pages-build-deployment #78: by amit9oct
May 8, 2025 09:58 28s main
main
May 8, 2025 09:58 28s
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
Publish to PyPI Publish to PyPI #6: Manually run by amit9oct
May 6, 2025 22:13 44s main
main
May 6, 2025 22:13 44s
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
pages build and deployment pages-build-deployment #77: by amit9oct
May 6, 2025 22:12 32s main
main
May 6, 2025 22:12 32s
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
0