Merge pull request #237 from capri1989/PG-375

PG-375: only run code coverage test on merge
pull/242/head
Kai Wagner 2022-05-25 11:51:25 +02:00 committed by GitHub
commit 71b70dac7f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 3 deletions

View File

@ -1,7 +1,12 @@
name: code-coverage-test
on: ["push", "pull_request"]
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: