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

PG-375: only run code coverage test on merge
pull/239/head
Kai Wagner 2022-05-25 13:24:20 +02:00 committed by GitHub
commit 1ea4fc1454
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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: