Merge `master` to `develop`

feat: bump mangrove-core v1.5.10 (#1529) #64

Sign in to view logs

Triggered via push October 4, 2023 09:06

Louis-Amas

master

Status Success

Total duration 22s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

merge-master-to-develop.yml

on: push

Create/update PR from master to develop / Create/update PR from 'master' to 'develop'

Annotations

1 notice

Create/update PR from master to develop / Create/update PR from 'master' to 'develop'

Created PR from 'master' to 'develop': https://github.com/mangrovedao/mangrove.js/pull/1530 .