Restrict pull merge automation.

This commit is contained in:
Garth Minette 2021-05-21 23:09:14 -07:00
parent 18b0f48ca8
commit 70805ecfa5

View file

@ -1,11 +1,13 @@
name: CI
on:
push:
pull_request:
branches:
- master
types: [closed]
jobs:
GenerateDocs:
if: github.event.pull_request.merged == true
runs-on: macos-10.15
steps:
- name: Checkout