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
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
.
argotorg
/
hevm
Public
Notifications
You must be signed in to change notification settings
Fork
79
Star
358
Code
Issues
51
Pull requests
10
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: argotorg/hevm
Actions
All workflows
Workflows
Build
Build
Check Dependencies
Check Dependencies
Echidna Compatibility Check
Echidna Compatibility Check
pages-build-deployment
pages-build-deployment
Publish Documentation
Publish Documentation
Release
Release
Show more workflows...
Management
Caches
Deployments
All workflows
All workflows
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
Showing runs from all workflows
will be ignored since log searching is not yet available
1,685 workflow runs
1,685 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
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.
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disa…
Publish Documentation
#649:
Commit
62c16d1
pushed by
msooseth
4m 36s
main
main
4m 36s
View workflow file
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disa…
Build
#4998:
Commit
62c16d1
pushed by
msooseth
29m 39s
main
main
29m 39s
View workflow file
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disassembly
Echidna Compatibility Check
#126:
Pull request
#1092
synchronize by
msooseth
18m 43s
perf-jumps
perf-jumps
18m 43s
View #1092
View workflow file
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disassembly
Build
#4997:
Pull request
#1092
synchronize by
msooseth
32m 55s
perf-jumps
perf-jumps
32m 55s
View #1092
View workflow file
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disassembly
Build
#4996:
Pull request
#1092
opened by
elopez
30m 16s
perf-jumps
perf-jumps
30m 16s
View #1092
View workflow file
perf: decide JUMPDEST validity from opIxMap and drop the codeOps disassembly
Echidna Compatibility Check
#125:
Pull request
#1092
opened by
elopez
18m 3s
perf-jumps
perf-jumps
18m 3s
View #1092
View workflow file
Release
Release
#129:
Scheduled
1h 22m 6s
main
main
1h 22m 6s
View workflow file
Check Dependencies
Check Dependencies
#529:
Scheduled
37s
main
main
37s
View workflow file
Merge pull request #1088 from argotorg/fix/assert-test-result-wiring
Publish Documentation
#648:
Commit
0c1f911
pushed by
gustavo-grieco
4m 28s
main
main
4m 28s
View workflow file
Merge pull request #1088 from argotorg/fix/assert-test-result-wiring
Build
#4995:
Commit
0c1f911
pushed by
gustavo-grieco
28m 38s
main
main
28m 38s
View workflow file
Merge pull request #1089 from argotorg/perf-word256
Build
#4994:
Commit
569d174
pushed by
gustavo-grieco
28m 46s
main
main
28m 46s
View workflow file
Merge pull request #1089 from argotorg/perf-word256
Publish Documentation
#647:
Commit
569d174
pushed by
gustavo-grieco
4m 23s
main
main
4m 23s
View workflow file
Merge pull request #1090 from argotorg/perf-keccak
Build
#4993:
Commit
d8a7dff
pushed by
gustavo-grieco
26m 49s
main
main
26m 49s
View workflow file
Merge pull request #1090 from argotorg/perf-keccak
Publish Documentation
#646:
Commit
d8a7dff
pushed by
gustavo-grieco
4m 16s
main
main
4m 16s
View workflow file
Merge pull request #1091 from argotorg/echidna-ci-libff-cmake-4.3
Publish Documentation
#645:
Commit
1ad822d
pushed by
gustavo-grieco
4m 24s
main
main
4m 24s
View workflow file
Merge pull request #1091 from argotorg/echidna-ci-libff-cmake-4.3
Build
#4992:
Commit
1ad822d
pushed by
gustavo-grieco
11m 42s
main
main
11m 42s
View workflow file
Work around libff missing headers with CMake 4.3 in Echidna CI
Build
#4991:
Pull request
#1091
opened by
elopez
27m 52s
echidna-ci-libff-cmake-4.3
echidna-ci-libff-cmake-4.3
27m 52s
View #1091
View workflow file
Work around libff missing headers with CMake 4.3 in Echidna CI
Echidna Compatibility Check
#124:
Pull request
#1091
opened by
elopez
18m 54s
echidna-ci-libff-cmake-4.3
echidna-ci-libff-cmake-4.3
18m 54s
View #1091
View workflow file
perf: make keccak preimage recording optional and strict
Echidna Compatibility Check
#123:
Pull request
#1090
opened by
elopez
17m 57s
perf-keccak
perf-keccak
17m 57s
View #1090
View workflow file
perf: make keccak preimage recording optional and strict
Build
#4990:
Pull request
#1090
opened by
elopez
30m 21s
perf-keccak
perf-keccak
30m 21s
View #1090
View workflow file
perf: decode word256 with direct indexing instead of a cereal parser
Build
#4989:
Pull request
#1089
opened by
elopez
26m 30s
perf-word256
perf-word256
26m 30s
View #1089
View workflow file
perf: decode word256 with direct indexing instead of a cereal parser
Echidna Compatibility Check
#122:
Pull request
#1089
opened by
elopez
17m 46s
perf-word256
perf-word256
17m 46s
View #1089
View workflow file
Merge pull request #1087 from argotorg/support-assert-bool-messages
Build
#4988:
Commit
b789693
pushed by
gustavo-grieco
40m 49s
main
main
40m 49s
View workflow file
Merge pull request #1087 from argotorg/support-assert-bool-messages
Publish Documentation
#644:
Commit
b789693
pushed by
gustavo-grieco
4m 25s
main
main
4m 25s
View workflow file
Test Foundry methods independently
Echidna Compatibility Check
#121:
Pull request
#1088
opened by
elopez
17m 45s
fix/assert-test-result-wiring
fix/assert-test-result-wiring
17m 45s
View #1088
View workflow file
Previous
1
2
3
4
5
…
67
68
Next
You can’t perform that action at this time.