Skip to content

Actions: LatterFixxx/LatterFix-Smart-contract

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
Merge pull request #99 from Mainnet-ops/feature/vesting-vaults Formal Verification (Kani) #19: Commit a546ebd pushed by bakarezainab
1m 10s main
main
1m 10s
Merge pull request #98 from Rampop01/fix/wasm-size-optimization Formal Verification (Kani) #18: Commit 9de6261 pushed by bakarezainab
4m 36s main
main
4m 36s
Feature/vesting vaults Formal Verification (Kani) #17: Pull request #99 opened by Mainnet-ops
6m 25s Mainnet-ops:feature/vesting-vaults
Mainnet-ops:feature/vesting-vaults
6m 25s
Optimize Soroban WASM size & Refactor Heavy Libraries Formal Verification (Kani) #16: Pull request #98 synchronize by Rampop01
5m 42s Rampop01:fix/wasm-size-optimization
Rampop01:fix/wasm-size-optimization
5m 42s
Optimize Soroban WASM size & Refactor Heavy Libraries Formal Verification (Kani) #15: Pull request #98 synchronize by Rampop01
6m 36s Rampop01:fix/wasm-size-optimization
Rampop01:fix/wasm-size-optimization
6m 36s
Optimize Soroban WASM size & Refactor Heavy Libraries Formal Verification (Kani) #14: Pull request #98 opened by Rampop01
1m 18s Rampop01:fix/wasm-size-optimization
Rampop01:fix/wasm-size-optimization
1m 18s
Merge pull request #96 from Samuel1505/main Formal Verification (Kani) #12: Commit 802106f pushed by bakarezainab
6m 29s main
main
6m 29s
feat:Implements a decay-curve reward treasury vesting & distribution manager for the protocol's community incentive pool. Formal Verification (Kani) #11: Pull request #96 opened by Samuel1505
6m 15s Samuel1505:main
Samuel1505:main
6m 15s
Merge pull request #95 from robertocarlous/issue-76-escrow-splitting Formal Verification (Kani) #10: Commit c167cf2 pushed by bakarezainab
6m 12s main
main
6m 12s
feat: Decentralized Dispute Escrow Splitting with Multi-Sig Arbitration (#76) Formal Verification (Kani) #9: Pull request #95 opened by robertocarlous
6m 20s robertocarlous:issue-76-escrow-splitting
robertocarlous:issue-76-escrow-splitting
6m 20s
Formal Verification (Kani) Formal Verification (Kani) #8: by bakarezainab
6m 31s main
main
6m 31s
Merge pull request #64 from davidmaronio/feat/issue-37-upgrade-timelock Formal Verification (Kani) #7: Commit 6344786 pushed by bakarezainab
5m 22s main
main
5m 22s
feat: add upgrade timelock, guardian veto, and rollback history Formal Verification (Kani) #6: Pull request #64 opened by davidmaronio
7m 45s davidmaronio:feat/issue-37-upgrade-timelock
davidmaronio:feat/issue-37-upgrade-timelock
7m 45s
Merge pull request #62 from Skinny001/feat/issue-11-kani-formal-verif… Formal Verification (Kani) #5: Commit 314eed8 pushed by bakarezainab
6m 39s main
main
6m 39s
Add Kani formal verification harnesses and fix pre-existing clippy li… Formal Verification (Kani) #4: Pull request #62 synchronize by Skinny001
6m 49s Skinny001:feat/issue-11-kani-formal-verification
Skinny001:feat/issue-11-kani-formal-verification
6m 49s
Add Kani formal verification harnesses and fix pre-existing clippy li… Formal Verification (Kani) #3: Pull request #62 synchronize by Skinny001
1m 19s Skinny001:feat/issue-11-kani-formal-verification
Skinny001:feat/issue-11-kani-formal-verification
1m 19s
Add Kani formal verification harnesses and fix pre-existing clippy li… Formal Verification (Kani) #2: Pull request #62 synchronize by Skinny001
6m 43s Skinny001:feat/issue-11-kani-formal-verification
Skinny001:feat/issue-11-kani-formal-verification
6m 43s
Add Kani formal verification harnesses and fix pre-existing clippy li… Formal Verification (Kani) #1: Pull request #62 synchronize by Skinny001
1m 24s Skinny001:feat/issue-11-kani-formal-verification
Skinny001:feat/issue-11-kani-formal-verification
1m 24s