changing push branch to dev

This commit is contained in:
Ebrahem Farooqui
2021-05-24 22:18:28 -07:00
committed by GitHub
parent 4d310270d5
commit 63d168a964

View File

@@ -1,7 +1,7 @@
name: CI
on:
push:
branches: [ feature/add-shapes-filter-panel ]
branches: [ develop ]
pull_request:
branches: [ develop ]