|
@@ -2,19 +2,12 @@ name: Publish Terminal.Gui
|
|
|
|
|
|
on:
|
|
|
push:
|
|
|
- branches: [ main, v2_release ]
|
|
|
+ branches: [ main, develop, v2_release, v2_develop ]
|
|
|
tags:
|
|
|
- v*
|
|
|
paths-ignore:
|
|
|
- '**.md'
|
|
|
|
|
|
- pull_request:
|
|
|
- branches: [ develop, v2_develop ]
|
|
|
- types:
|
|
|
- - closed
|
|
|
- paths-ignore:
|
|
|
- - '**.md'
|
|
|
-
|
|
|
jobs:
|
|
|
publish:
|
|
|
if: github.event.pull_request.merged == true
|