Merge pull request #544 from revarbat/revarbat_dev

Restrict pull merge automation.
This commit is contained in:
Revar Desmera 2021-05-21 23:12:32 -07:00 committed by GitHub
commit 9e0fa4a233
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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