search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
299 stars 63 forks source link

Docker changes, WIP PR #147

Closed sifislag closed 2 months ago

sifislag commented 2 months ago

Merging to get new actions to appear in the github UI.

github-actions[bot] commented 2 months ago

Test Results (Souffle 2.3)

0 tests   - 56   0 :white_check_mark:  - 56   0s :stopwatch: - 38m 18s 0 suites  -  1   0 :zzz: ± 0  0 files    -  1   0 :x: ± 0 

Results for commit 70388bf2. ± Comparison against base commit 7be6aaa0.

github-actions[bot] commented 2 months ago

Test Results (Souffle 2.4)

0 tests   - 56   0 :white_check_mark:  - 56   0s :stopwatch: - 47m 25s 0 suites  -  1   0 :zzz: ± 0  0 files    -  1   0 :x: ± 0 

Results for commit 70388bf2. ± Comparison against base commit 7be6aaa0.