Add CI coverage (reopenned to dev)

[vladbochok]

What ❔

Why ❔

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.

[github-actions]

Coverage after merging vb-add-ci-cov-foundry-dev into dev will be

87.63%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
contracts/bridge
L1ERC20Bridge.sol	81.82%	80%	75%	84.62%	62, 70, 70, 70–72
L1SharedBridge.sol	81.45%	75.83%	79.41%	85.98%	102, 111, 117, 117, 117, 129–133, 147, 154, 165–166, 176, 176, 176–180, 180, 180–181, 186–188, 188, 188–191, 191, 191–192, 204, 213, 213, 213, 346–347, 463, 469, 484, 493, 510, 593, 599, 654, 827, 832, 96
contracts/bridgehub
Bridgehub.sol	81.97%	60.53%	89.47%	92.31%	133–134, 136, 140–141, 143, 249–250, 296–297, 303, 303, 303–304, 326, 330, 361, 366, 50, 72
contracts/common
ReentrancyGuard.sol	100%	100%	100%	100%
contracts/common/libraries
L2ContractHelper.sol	53.57%	30%	50%	71.43%	25, 28–29, 42–43, 43, 43, 45, 45, 45, 52
SemVer.sol	100%	100%	100%	100%
UncheckedMath.sol	100%	100%	100%	100%
UnsafeBytes.sol	100%	100%	100%	100%
contracts/governance
Governance.sol	91.67%	93.75%	95%	89.29%	44, 44, 44, 46, 48–49, 51–52
contracts/state-transition
StateTransitionManager.sol	63.40%	57.69%	50%	69.47%	103–107, 113, 144–146, 150, 191, 193–194, 199–200, 200, 200, 202–204, 206–207, 241, 261, 275, 280, 285, 290, 295, 300, 305, 372, 372, 372, 374, 437, 91, 91, 91, 98
TestnetVerifier.sol	40%	25%	50%	50%	16, 16, 16, 28, 32
ValidatorTimelock.sol	93.75%	100%	94.74%	91.43%	60–62
Verifier.sol	83.33%	100%	66.67%	100%
contracts/state-transition/chain-deps
DiamondInit.sol	87.76%	70%	100%	100%	27–31, 54
DiamondProxy.sol	70.59%	62.50%	100%	75%	16, 16, 16–17, 27
contracts/state-transition/chain-deps/facets
Admin.sol	86.05%	72.73%	92.31%	90.20%	126, 153–154, 156, 76, 85, 97, 97, 97–99
Executor.sol	88.22%	80%	84.38%	94.82%	123, 189, 192, 198, 200–203, 214, 232, 246, 305, 363, 383–385, 405, 42, 446, 453, 472, 477, 538, 54, 54, 56, 56, 56, 563–564, 57–58, 612, 614, 63, 65–66, 675
Getters.sol	91.18%	75%	90.24%	92.98%	153, 179, 204, 72, 77
Mailbox.sol	65.45%	50%	58.82%	73.13%	100, 108, 118, 118, 118, 120, 126, 126, 126, 132–133, 135, 140–141, 167, 196, 196, 196–197, 217, 262, 273, 279, 47, 47, 47, 49–51, 68, 78
ZkSyncHyperchainBase.sol	82.14%	78.57%	85.71%	85.71%	48, 56, 56, 56
contracts/state-transition/libraries
Diamond.sol	94.33%	84.09%	100%	98.85%	110, 116, 119, 184, 239, 268, 287, 289
LibMap.sol	100%	100%	100%	100%
Merkle.sol	100%	100%	100%	100%
PriorityQueue.sol	100%	100%	100%	100%
TransactionValidator.sol	97.18%	94.12%	100%	100%	54–55
contracts/upgrades
BaseZkSyncUpgrade.sol	66.93%	45.45%	100%	74.65%	102, 102, 102, 104, 107, 110–111, 118, 122, 122, 122, 124, 127, 130–131, 141, 145–147, 157, 165–167, 206, 208, 223, 241–242, 246, 246, 246, 259, 267, 272, 278–279, 283, 288, 291–292, 75, 98
BaseZkSyncUpgradeGenesis.sol	63.89%	50%	100%	71.43%	22, 26, 33–34, 40–41, 52–53, 59, 62–63, 65–66
DefaultUpgrade.sol	100%	100%	100%	100%
GenesisUpgrade.sol	100%	100%	100%	100%
contracts/vendor
AddressAliasHelper.sol	78.57%	50%	100%	85.71%	52, 59, 61