Skip to content
certora-stata

Fix duplicated 'the' in PoolAddressesProvider.sol #287

Sign in to view logs

Fix duplicated 'the' in PoolAddressesProvider.sol

Fix duplicated 'the' in PoolAddressesProvider.sol #287

This workflow is awaiting approval from a maintainer in #160
Triggered via pull request February 3, 2026 17:02
@Zentex1337Zentex1337
opened #160
Zentex1337:fix/typo-duplicated-the-pooladdressesprovider
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #160

certora-stata.yml

on: pull_request
verify
verify
Fit to window
Zoom out
Zoom in