Skip to content

Actions: lfglabs-dev/verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6479: Pull request #1943 synchronize by Th0rgal
Queued sphincs-raw-revert-support
sphincs-raw-revert-support
Queued
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6478: Pull request #1943 synchronize by Th0rgal
10m 4s sphincs-raw-revert-support
sphincs-raw-revert-support
10m 4s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6477: Pull request #1943 synchronize by Th0rgal
30m 44s sphincs-raw-revert-support
sphincs-raw-revert-support
30m 44s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6476: Pull request #1943 synchronize by Th0rgal
12m 59s sphincs-raw-revert-support
sphincs-raw-revert-support
12m 59s
EVMYulLean fork conformance EVMYulLean fork conformance #771: Scheduled
18m 57s main
main
18m 57s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Docs #1602: Pull request #1943 opened by Th0rgal
1m 4s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 4s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6475: Pull request #1943 opened by Th0rgal
11m 28s sphincs-raw-revert-support
sphincs-raw-revert-support
11m 28s
Verify proofs Verify proofs #6474: Scheduled
2h 2m 0s main
main
2h 2m 0s
Verify proofs Verify proofs #6473: Scheduled
2h 2m 7s main
main
2h 2m 7s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6472: Pull request #1942 closed by Th0rgal
3m 5s sphincs-raw-revert-support
sphincs-raw-revert-support
3m 5s
Add typed unsafe Yul fragments to CompilationModel (#1942) Docs #1601: Commit 30777c2 pushed by Th0rgal
1m 11s main
main
1m 11s
Add typed unsafe Yul fragments to CompilationModel (#1942) Verify proofs #6471: Commit 30777c2 pushed by Th0rgal
2h 21m 15s main
main
2h 21m 15s
Add typed unsafe Yul fragments to CompilationModel Docs #1600: Pull request #1942 synchronize by Th0rgal
1m 7s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 7s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6470: Pull request #1942 synchronize by Th0rgal
1h 53m 53s sphincs-raw-revert-support
sphincs-raw-revert-support
1h 53m 53s
Verify proofs Verify proofs #6469: Scheduled
1h 58m 21s main
main
1h 58m 21s
Add typed unsafe Yul fragments to CompilationModel Docs #1599: Pull request #1942 synchronize by Th0rgal
1m 0s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 0s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6468: Pull request #1942 synchronize by Th0rgal
1h 55m 16s sphincs-raw-revert-support
sphincs-raw-revert-support
1h 55m 16s
Add typed unsafe Yul fragments to CompilationModel Docs #1598: Pull request #1942 synchronize by Th0rgal
1m 9s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 9s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6467: Pull request #1942 synchronize by Th0rgal
57m 26s sphincs-raw-revert-support
sphincs-raw-revert-support
57m 26s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6466: Pull request #1942 synchronize by Th0rgal
47m 10s sphincs-raw-revert-support
sphincs-raw-revert-support
47m 10s
Add typed unsafe Yul fragments to CompilationModel Docs #1597: Pull request #1942 synchronize by Th0rgal
1m 8s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 8s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6465: Pull request #1942 synchronize by Th0rgal
9m 26s sphincs-raw-revert-support
sphincs-raw-revert-support
9m 26s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6464: Pull request #1942 synchronize by Th0rgal
1m 8s sphincs-raw-revert-support
sphincs-raw-revert-support
1m 8s
Verify proofs Verify proofs #6463: Scheduled
2h 0m 49s main
main
2h 0m 49s
Add typed unsafe Yul fragments to CompilationModel Verify proofs #6462: Pull request #1942 synchronize by Th0rgal
1h 49m 6s sphincs-raw-revert-support
sphincs-raw-revert-support
1h 49m 6s