Merge pull request #238 from capri1989/stable-PG-375

PG-375: only run code coverage test on merge
This commit is contained in:
Kai Wagner
2022-05-25 13:24:20 +02:00
committed by GitHub
2 changed files with 9 additions and 4 deletions

View File

@@ -1,7 +1,12 @@
name: coverage-test
on: ["push", "pull_request"]
name: coverage_test
on:
pull_request:
types:
- closed
jobs:
if_merged:
if: github.event.pull_request.merged == true
build:
name: coverage-test
runs-on: ubuntu-latest

View File

@@ -1,5 +1,5 @@
name: postgresql-14-build
on: [push]
on: ["push", "pull_request"]
jobs:
build: