Skip to content

Merge master to develop #85

Merge master to develop

Merge master to develop #85

Triggered via push January 11, 2024 16:02
Status Success
Total duration 14s
Artifacts
Create/update PR from master to develop  /  Create/update PR from 'master' to 'develop'
7s
Create/update PR from master to develop / Create/update PR from 'master' to 'develop'
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Create/update PR from master to develop / Create/update PR from 'master' to 'develop'
Existing direct PR from 'master' to 'develop' found: https://github.com/mangrovedao/mangrove.js/pull/1724 . No need to create a new one.