Skip to content

Actions: pluto/solidity-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Fail on ecrecover failure CI #23: Pull request #3 opened by pmerkleplant
February 26, 2025 07:56 Action required pmerkleplant:main
pmerkleplant:main
February 26, 2025 07:56 Action required
chore: documentation, and deploy CI #22: Commit bcfaf40 pushed by 0xJepsen
February 25, 2025 16:08 33s main
main
February 25, 2025 16:08 33s
Merge pull request #2 from pluto/feat/proofs_duplicate_patch CI #21: Commit 963c414 pushed by 0xJepsen
February 24, 2025 18:05 23s main
main
February 24, 2025 18:05 23s
patch CI #20: Pull request #2 synchronize by 0xJepsen
February 21, 2025 21:42 21s feat/proofs_duplicate_patch
feat/proofs_duplicate_patch
February 21, 2025 21:42 21s
chore: squash the bug CI #19: Commit 3a2a8bd pushed by 0xJepsen
February 21, 2025 21:42 22s feat/proofs_duplicate_patch
feat/proofs_duplicate_patch
February 21, 2025 21:42 22s
patch CI #18: Pull request #2 opened by 0xJepsen
February 21, 2025 21:32 31s feat/proofs_duplicate_patch
feat/proofs_duplicate_patch
February 21, 2025 21:32 31s
patch CI #17: Commit 5902fae pushed by 0xJepsen
February 21, 2025 21:32 22s feat/proofs_duplicate_patch
feat/proofs_duplicate_patch
February 21, 2025 21:32 22s
feat: type case CI #16: Commit 32f8c72 pushed by 0xJepsen
February 18, 2025 22:54 21s main
main
February 18, 2025 22:54 21s
bug: prevent double proof association CI #15: Commit 7490dbf pushed by 0xJepsen
February 18, 2025 21:57 22s main
main
February 18, 2025 21:57 22s
Merge pull request #1 from pluto/test CI #14: Commit 182067e pushed by 0xJepsen
February 18, 2025 20:00 29s main
main
February 18, 2025 20:00 29s
Next version CI #13: Pull request #1 synchronize by 0xJepsen
February 18, 2025 19:50 30s test
test
February 18, 2025 19:50 30s
test: proper test vector CI #12: Commit 276b738 pushed by 0xJepsen
February 18, 2025 19:50 23s test
test
February 18, 2025 19:50 23s
Next version CI #11: Pull request #1 synchronize by 0xJepsen
February 17, 2025 23:48 25s test
test
February 17, 2025 23:48 25s
forge: build todo CI #10: Commit e46a167 pushed by 0xJepsen
February 17, 2025 23:48 29s test
test
February 17, 2025 23:48 29s
Next version CI #9: Pull request #1 synchronize by 0xJepsen
February 17, 2025 23:46 18s test
test
February 17, 2025 23:46 18s
forge: fmt CI #8: Commit 27c34c9 pushed by 0xJepsen
February 17, 2025 23:46 25s test
test
February 17, 2025 23:46 25s
Next version CI #7: Pull request #1 opened by 0xJepsen
February 17, 2025 23:44 18s test
test
February 17, 2025 23:44 18s
feat: stateful CI #6: Commit c8a2c13 pushed by 0xJepsen
February 17, 2025 23:44 27s test
test
February 17, 2025 23:44 27s
latest test vector digest CI #5: Commit 3a3169a pushed by 0xJepsen
February 13, 2025 18:23 29s test
test
February 13, 2025 18:23 29s
remove ECDSA lib CI #4: Commit 7ef6839 pushed by 0xJepsen
February 10, 2025 21:38 19s test
test
February 10, 2025 21:38 19s
passing test CI #3: Commit af42767 pushed by 0xJepsen
February 10, 2025 21:36 29s test
test
February 10, 2025 21:36 29s
forge install: openzeppelin-contracts CI #2: Commit 3577bba pushed by 0xJepsen
February 10, 2025 21:35 22s main
main
February 10, 2025 21:35 22s
init CI #1: Commit ba76621 pushed by 0xJepsen
February 10, 2025 16:08 20s main
main
February 10, 2025 16:08 20s