Skip to content
Merge `master` to `develop`

Merge pull request #266 from mangrovedao/feat/audits/add_univ3 #38

Sign in to view logs

Merge pull request #266 from mangrovedao/feat/audits/add_univ3

Merge pull request #266 from mangrovedao/feat/audits/add_univ3 #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Create/update PR from master to develop / Create/update PR from 'master' to 'develop'
10s
10s