Skip to content
Merge `master` to `develop`

Merge pull request #150 from mangrovedao/develop #25

Sign in to view logs

Merge pull request #150 from mangrovedao/develop

Merge pull request #150 from mangrovedao/develop #25

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'
11s
11s