Skip to content

Actions: lfglabs-dev/verity-benchmark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
574 workflow runs
574 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Benchmark Benchmark #1: Manually run by Th0rgal
24m 45s main
main
24m 45s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #36: Pull request #32 synchronize by Th0rgal
10s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
10s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #25: Pull request #32 synchronize by Th0rgal
1m 6s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
1m 6s
Add ERC-4337 EntryPoint invariant benchmark case check #512: Pull request #32 synchronize by Th0rgal
34s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
34s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #24: Pull request #32 synchronize by Th0rgal
3m 33s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
3m 33s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #35: Pull request #32 synchronize by Th0rgal
9s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
9s
Add ERC-4337 EntryPoint invariant benchmark case check #511: Pull request #32 synchronize by Th0rgal
1m 2s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
1m 2s
Add ERC-4337 EntryPoint invariant benchmark case check #510: Pull request #32 synchronize by Th0rgal
1m 3s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
1m 3s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #23: Pull request #32 synchronize by Th0rgal
3m 37s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
3m 37s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #34: Pull request #32 synchronize by Th0rgal
9s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
9s
Add ERC-4337 EntryPoint invariant benchmark case check #509: Pull request #32 synchronize by Th0rgal
47s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
47s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #22: Pull request #32 synchronize by Th0rgal
4m 5s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
4m 5s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #33: Pull request #32 synchronize by Th0rgal
9s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
9s
Add ERC-4337 EntryPoint invariant benchmark case check #508: Pull request #32 synchronize by Th0rgal
3m 32s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
3m 32s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #32: Pull request #32 synchronize by Th0rgal
11s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
11s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #21: Pull request #32 synchronize by Th0rgal
5m 8s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
5m 8s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #20: Pull request #32 synchronize by Th0rgal
4m 14s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
4m 14s
Add ERC-4337 EntryPoint invariant benchmark case check #507: Pull request #32 synchronize by Th0rgal
1m 16s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
1m 16s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #31: Pull request #32 synchronize by Th0rgal
14s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
14s
Add ERC-4337 EntryPoint invariant benchmark case erc4337 differential #19: Pull request #32 synchronize by Th0rgal
6m 18s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
6m 18s
Add ERC-4337 EntryPoint invariant benchmark case check #506: Pull request #32 synchronize by Th0rgal
3m 30s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
3m 30s
Add ERC-4337 EntryPoint invariant benchmark case Harness check #30: Pull request #32 synchronize by Th0rgal
10s feat/erc4337-entrypoint-invariant
feat/erc4337-entrypoint-invariant
10s
Remove tuned/legacy harness modes and hardcoded proof candidates (#91) check #505: Commit a85f0cf pushed by Th0rgal
2m 22s main
main
2m 22s
Remove tuned/legacy harness modes and hardcoded proof candidates Harness check #29: Pull request #91 synchronize by Th0rgal
10s remove-legacy-tuned-modes
remove-legacy-tuned-modes
10s
Remove tuned/legacy harness modes and hardcoded proof candidates check #504: Pull request #91 synchronize by Th0rgal
1m 51s remove-legacy-tuned-modes
remove-legacy-tuned-modes
1m 51s