diff options
| author | Aleksey Kladov <aleksey.kladov@gmail.com> | 2020-01-29 12:24:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-29 12:24:09 +0000 |
| commit | 5643c0730a646c4173032692e77f4fc83ad5e184 (patch) | |
| tree | 637215b89999766b1184c1273250a819b37eb3df | |
| parent | 6fd29651b4f2bca8a36685a49d35cd349692984a (diff) | |
| parent | f4fd91a7feb96e82c54f9ff2936bc14efc0075cc (diff) | |
Merge pull request #2936 from matklad/better-release
Make sure release uses the release branch, and not master
| -rw-r--r-- | .github/workflows/release.yaml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index 395ce1ef4..77c92512a 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | name: CI-Release | 1 | name: release |
| 2 | on: | 2 | on: |
| 3 | push: | 3 | push: |
| 4 | branches: | 4 | branches: |
| @@ -132,7 +132,9 @@ jobs: | |||
| 132 | 132 | ||
| 133 | - name: Create Release | 133 | - name: Create Release |
| 134 | id: create_release | 134 | id: create_release |
| 135 | uses: actions/create-release@v1 | 135 | # uses: actions/create-release@v1 |
| 136 | # https://github.com/actions/create-release/pull/32 | ||
| 137 | uses: fleskesvor/create-release@1a72e235c178bf2ae6c51a8ae36febc24568c5fe | ||
| 136 | env: | 138 | env: |
| 137 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | 139 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |
| 138 | with: | 140 | with: |