Skip to content

Actions: StellarChainproof/StellarChainproofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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 #112 from Manuelshub/feat/cp121-cross-contract-ree… Test Suite #73: Commit c867421 pushed by Manuelshub
1m 2s master
master
1m 2s
liquidity accounting detector for solidity contracts Test Suite #72: Pull request #116 opened by Jumongweb
Action required Jumongweb:liquidityAccountingDetectors
Jumongweb:liquidityAccountingDetectors
Action required
Merge pull request #110 from tunmisedasa/feat/returndata-safety-analy… Test Suite #71: Commit 7e3472b pushed by Manuelshub
46s master
master
46s
lending protocol Test Suite #70: Pull request #115 opened by Jumongweb
Action required Jumongweb:lendingProtocol
Jumongweb:lendingProtocol
Action required
feat(validation): fork-aware concrete validation and exploit reproduction harness Test Suite #69: Pull request #111 synchronize by retkatmun
Action required retkatmun:feat/fork-aware-validation-harness
retkatmun:feat/fork-aware-validation-harness
Action required
Merge pull request #114 from covenantalade/feat/dos-unbounded-work-an… Test Suite #68: Commit 68ea730 pushed by Nanle-code
44s master
master
44s
feat(dos): implement denial-of-service, gas-griefing, and unbounded-work analysis (#80) Test Suite #67: Pull request #114 synchronize by covenantalade
56s covenantalade:feat/dos-unbounded-work-analysis
covenantalade:feat/dos-unbounded-work-analysis
56s
Merge pull request #113 from covenantalade/feat/multi-compiler-matrix Test Suite #66: Commit bd61786 pushed by Nanle-code
57s master
master
57s
feat(compiler): multi-compiler Solidity compatibility and diagnostic matrix (#76) Test Suite #65: Pull request #113 synchronize by covenantalade
44s covenantalade:feat/multi-compiler-matrix
covenantalade:feat/multi-compiler-matrix
44s
feat(compiler): multi-compiler Solidity compatibility and diagnostic matrix (#76) Test Suite #64: Pull request #113 opened by covenantalade
55s covenantalade:feat/multi-compiler-matrix
covenantalade:feat/multi-compiler-matrix
55s
feat: implement CP-121 multi-hop cross-contract reentrancy detector Test Suite #63: Pull request #112 opened by Manuelshub
54s Manuelshub:feat/cp121-cross-contract-reentrancy
Manuelshub:feat/cp121-cross-contract-reentrancy
54s
feat: add external call return-value and returndata safety analysis Test Suite #62: Pull request #110 synchronize by tunmisedasa
45s tunmisedasa:feat/returndata-safety-analysis-81
tunmisedasa:feat/returndata-safety-analysis-81
45s
feat(validation): fork-aware concrete validation and exploit reproduction harness Test Suite #61: Pull request #111 synchronize by retkatmun
Action required retkatmun:feat/fork-aware-validation-harness
retkatmun:feat/fork-aware-validation-harness
Action required
Build a versioned detector benchmark Test Suite #60: Pull request #106 synchronize by gloskull
Action required gloskull:Build-a-Versioned-Detector-Benchmark
gloskull:Build-a-Versioned-Detector-Benchmark
Action required
Harden the rest server with authenticated Test Suite #59: Pull request #108 synchronize by gloskull
Action required gloskull:Harden-the-REST-Server-with-Authenticated
gloskull:Harden-the-REST-Server-with-Authenticated
Action required
Implement a language server protocol Test Suite #58: Pull request #107 synchronize by gloskull
Action required gloskull:Implement-a-Language-Server-Protocol
gloskull:Implement-a-Language-Server-Protocol
Action required
Merge pull request #109 from tunmisedasa/feat/bridge-cross-chain-veri… Test Suite #57: Commit a21961e pushed by Nanle-code
52s master
master
52s
feat: add external call return-value and returndata safety analysis Test Suite #56: Pull request #110 opened by tunmisedasa
1d 3h 32m 31s tunmisedasa:feat/returndata-safety-analysis-81
tunmisedasa:feat/returndata-safety-analysis-81
1d 3h 32m 31s
feat: add cross-chain bridge and message verification analysis Test Suite #55: Pull request #109 opened by tunmisedasa
3h 57m 56s tunmisedasa:feat/bridge-cross-chain-verification-83
tunmisedasa:feat/bridge-cross-chain-verification-83
3h 57m 56s
Merge pull request #105 from Emmy123222/feat/governance-timelock-safe… Test Suite #54: Commit bc963f1 pushed by Manuelshub
49s master
master
49s
Harden the rest server with authenticated Test Suite #53: Pull request #108 opened by gloskull
Action required gloskull:Harden-the-REST-Server-with-Authenticated
gloskull:Harden-the-REST-Server-with-Authenticated
Action required
Implement a language server protocol Test Suite #52: Pull request #107 opened by gloskull
-1s gloskull:Implement-a-Language-Server-Protocol
gloskull:Implement-a-Language-Server-Protocol
-1s
Build a versioned detector benchmark Test Suite #51: Pull request #106 opened by gloskull
Action required gloskull:Build-a-Versioned-Detector-Benchmark
gloskull:Build-a-Versioned-Detector-Benchmark
Action required
feat: add governance and timelock safety analysis Test Suite #50: Pull request #105 synchronize by Emmy123222
54s Emmy123222:feat/governance-timelock-safety-analysis
Emmy123222:feat/governance-timelock-safety-analysis
54s
feat: add governance and timelock safety analysis Test Suite #49: Pull request #105 synchronize by Emmy123222
57s Emmy123222:feat/governance-timelock-safety-analysis
Emmy123222:feat/governance-timelock-safety-analysis
57s