Skip to content

Actions: liangzhongkai/solidity-foundry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 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
feat(issue-14): Uniswap V2 liquidity, swap, and zap examples CI #71: Commit 1559824 pushed by liangzhongkai
3m 7s main
main
3m 7s
feat(issue-14): Uniswap V2 liquidity, swap, and zap examples CI #70: Commit 1559824 pushed by liangzhongkai
3m 12s issue-14-uniswap-v2-example
issue-14-uniswap-v2-example
3m 12s
fix ReadOnlyAttack CI #69: Commit 6aaff11 pushed by liangzhongkai
3m 4s main
main
3m 4s
fix(issue-13): add reentrancy attack demos CI #68: Commit 48447ef pushed by liangzhongkai
3m 3s main
main
3m 3s
fix manticore CI #67: Commit 78b3476 pushed by liangzhongkai
2m 59s main
main
2m 59s
fix manticore CI #66: Commit 969e906 pushed by liangzhongkai
3m 4s main
main
3m 4s
fix solc in manticore CI #65: Commit de33b03 pushed by liangzhongkai
2m 58s main
main
2m 58s
fix manticore CI #64: Commit 44d0d5c pushed by liangzhongkai
2m 45s main
main
2m 45s
fix cicd CI #63: Commit 8cbb977 pushed by liangzhongkai
2m 57s main
main
2m 57s
Formal Verification Formal Verification #2: Manually run by liangzhongkai
4m 6s main
main
4m 6s
fix cicd CI #62: Commit 3cfa4e0 pushed by liangzhongkai
3m 16s main
main
3m 16s
add blockchain CI/CD workflows and Wallet monitoring scaffolds CI #61: Commit 3893797 pushed by liangzhongkai
35s main
main
35s
add blockchain CI/CD workflows and Wallet monitoring scaffolds Verify Existing Deployment #1: Commit 3893797 pushed by liangzhongkai
Failure main
main
Failure
add blockchain CI/CD workflows and Wallet monitoring scaffolds Formal Verification #1: Commit 3893797 pushed by liangzhongkai
Failure main
main
Failure
update md file CI #60: Commit e41d128 pushed by liangzhongkai
37s main
main
37s
feat(issue-12): Advanced ERC20 with permit, voting, access control, p… CI #59: Commit 78f194d pushed by liangzhongkai
32s main
main
32s
feat(issue-12): Advanced ERC20 with permit, voting, access control, p… CI #58: Commit 78f194d pushed by liangzhongkai
26s issue-12-erc20-advanced
issue-12-erc20-advanced
26s
update agent memory and fix slither issue CI #57: Commit 3da6308 pushed by liangzhongkai
26s main
main
26s
feat(issue-11): On-chain blackjack contract CI #56: Commit 25ed1fe pushed by liangzhongkai
25s main
main
25s
feat(issue-10): ERC1155 Bingo contract CI #55: Commit 3c9bfe9 pushed by liangzhongkai
31s main
main
31s
update rules and fix problems with slither CI #54: Commit 2c086c4 pushed by liangzhongkai
29s main
main
29s
feat(issue-9): add SimpleLottery contract with blockhash-based winner… CI #53: Commit cb8b06f pushed by liangzhongkai
27s main
main
27s
feat(issue-8): add StakeTogether staking contract with proportional r… CI #52: Commit c69e546 pushed by liangzhongkai
34s main
main
34s
merge issue-7 simple nft marketplace CI #51: Commit 4d4a332 pushed by liangzhongkai
24s main
main
24s
update git ignore file CI #50: Commit d5774ac pushed by liangzhongkai
25s main
main
25s