6221521229
91%
main: 100%

Ran 18 Sep 2023 10:52AM CUT

Jobs 1

Files 6

Run time 1s

Badge

Committed 18 Sep 2023 10:52AM CUT coverage: 100.0%. Remained the same

Build Type

github

Committed by Akshay

Commit Message

Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification

Run Details

124 of 124 branches covered (100.0%)

Branch coverage included in aggregate %.

183 of 183 relevant lines covered (100.0%)

14.09 hits per line

ID	Job ID	Ran	Files	Coverage
1	6221521229.1	18 Sep 2023 10:52AM CUT	6	100.0	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Hits/Line	Branch Hits
100.0	contracts/base/FunctionHandlerManager.sol	81	15	15	2.0	8
100.0	contracts/base/HooksManager.sol	44	7	7	13.0	6
100.0	contracts/base/OnlyAccountCallable.sol	41	8	8	55.0	4
100.0	contracts/base/RegistryManager.sol	57	13	13	29.0	12
100.0	contracts/SafeProtocolManager.sol	463	121	121	8.0	76
100.0	contracts/SafeProtocolRegistry.sol	88	19	19	28.0	18