Monitoring scripts (#409) #16
merge-master-to-develop.yml
on: push
Create/update PR from master to develop
/
Create/update PR from 'master' to 'develop'
11s
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-core/pull/415 .
|