Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
ProvableHQ
/
snarkVM
Public
Notifications
You must be signed in to change notification settings
Fork
1.6k
Star
1.2k
Code
Issues
135
Pull requests
74
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: ProvableHQ/snarkVM
Actions
All workflows
Workflows
CI - Cargo Checks
CI - Cargo Checks
CI - Ledger Tests
CI - Ledger Tests
Copilot
Copilot
Copilot cloud agent
Copilot cloud agent
Copilot code review
Copilot code review
Dependabot Updates
Dependabot Updates
pages-build-deployment
pages-build-deployment
Run snarkVM Benchmarks
Run snarkVM Benchmarks
Sync snarkVM Documentation
Sync snarkVM Documentation
Sync snarkVM to Welcome Documentation
Sync snarkVM to Welcome Documentation
Show more workflows...
Management
Caches
Deployments
Copilot cloud agent
Copilot cloud agent
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
31 workflow runs
31 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Addressing comment on PR #3269
Copilot cloud agent
#31:
by
Copilot
AI
5m 9s
copilot/improve-block-tree-error-message
copilot/improve-block-tree-error-message
5m 9s
Addressing comment on PR #3269
Copilot cloud agent
#30:
by
Copilot
AI
1m 40s
copilot/improve-block-tree-error-message
copilot/improve-block-tree-error-message
1m 40s
Running Copilot cloud agent
Copilot cloud agent
#29:
by
Copilot
AI
20m 18s
copilot/fix-deadlock-in-processexclusiveguard
copilot/fix-deadlock-in-processexclusiveguard
20m 18s
Running Copilot cloud agent
Copilot cloud agent
#28:
by
Copilot
AI
4m 55s
copilot/improve-block-tree-error-message
copilot/improve-block-tree-error-message
4m 55s
Addressing comment on PR #3263
Copilot cloud agent
#27:
by
Copilot
AI
1m 18s
feat/skip-srs-embed
feat/skip-srs-embed
1m 18s
Addressing comment on PR #3255
Copilot cloud agent
#26:
by
Copilot
AI
4m 44s
copilot/reduce-snarkvm-ci-benchmark-scope
copilot/reduce-snarkvm-ci-benchmark-scope
4m 44s
Addressing comment on PR #3255
Copilot cloud agent
#25:
by
Copilot
AI
1m 15s
copilot/reduce-snarkvm-ci-benchmark-scope
copilot/reduce-snarkvm-ci-benchmark-scope
1m 15s
Running Copilot cloud agent
Copilot cloud agent
#24:
by
Copilot
AI
6m 29s
copilot/reduce-snarkvm-ci-benchmark-scope
copilot/reduce-snarkvm-ci-benchmark-scope
6m 29s
Addressing comment on PR #3251
Copilot cloud agent
#23:
by
Copilot
AI
2m 58s
copilot/sub-pr-3250
copilot/sub-pr-3250
2m 58s
Running Copilot cloud agent
Copilot cloud agent
#22:
by
Copilot
AI
52m 38s
copilot/add-prune-rocksdb-state-method
copilot/add-prune-rocksdb-state-method
52m 38s
Addressing comment on PR #3220
Copilot cloud agent
#21:
by
Copilot
AI
2m 1s
copilot/adjust-transaction-cache-key
copilot/adjust-transaction-cache-key
2m 1s
Running Copilot cloud agent
Copilot cloud agent
#20:
by
Copilot
AI
13m 10s
copilot/adjust-transaction-cache-key
copilot/adjust-transaction-cache-key
13m 10s
Running Copilot coding agent
Copilot cloud agent
#19:
by
Copilot
AI
1m 7s
copilot/fix-long-build-timeout
copilot/fix-long-build-timeout
1m 7s
Addressing comment on PR #3134
Copilot cloud agent
#18:
by
Copilot
AI
3m 38s
copilot/sub-pr-3127
copilot/sub-pr-3127
3m 38s
Addressing comment on PR #3099
Copilot cloud agent
#17:
by
Copilot
AI
7m 28s
copilot/feature-write-history-to-rocksdb
copilot/feature-write-history-to-rocksdb
7m 28s
Running Copilot coding agent
Copilot cloud agent
#16:
by
Copilot
AI
28m 30s
copilot/add-rejection-logging-feature
copilot/add-rejection-logging-feature
28m 30s
Running Copilot coding agent
Copilot cloud agent
#15:
by
Copilot
AI
19m 52s
copilot/feature-write-history-to-rocksdb
copilot/feature-write-history-to-rocksdb
19m 52s
Running Copilot coding agent
Copilot cloud agent
#14:
by
Copilot
AI
32m 14s
copilot/fix-circuit-verifying-key-deserialization
copilot/fix-circuit-verifying-key-deserialization
32m 14s
Running Copilot coding agent
Copilot cloud agent
#13:
by
Copilot
AI
5m 6s
copilot/feature-remove-console-import-check
copilot/feature-remove-console-import-check
5m 6s
View #3077
Addressing comment on PR #3074
Copilot cloud agent
#12:
by
Copilot
AI
8m 11s
copilot/migrate-circleci-to-github-actions
copilot/migrate-circleci-to-github-actions
8m 11s
Running Copilot coding agent
Copilot cloud agent
#11:
by
Copilot
AI
11m 3s
copilot/migrate-circleci-to-github-actions
copilot/migrate-circleci-to-github-actions
11m 3s
Addressing comment on PR #3072
Copilot cloud agent
#10:
by
Copilot
AI
21m 26s
copilot/sub-pr-3068
copilot/sub-pr-3068
21m 26s
Addressing comment on PR #3009
Copilot cloud agent
#9:
by
Copilot
AI
5m 48s
copilot/sub-pr-3008
copilot/sub-pr-3008
5m 48s
Addressing comment on PR #2912
Copilot cloud agent
#8:
by
Copilot
AI
7m 8s
copilot/fix-2911
copilot/fix-2911
7m 8s
Addressing comment on PR #2912
Copilot cloud agent
#7:
by
Copilot
AI
5m 41s
copilot/fix-2911
copilot/fix-2911
5m 41s
Previous
1
2
Next
You can’t perform that action at this time.