Merge branch 'develop' into improvements/pre-commit_autoupdate_2020-05

pull/113/head
Nick M 4 years ago committed by GitHub
commit 4d4db071b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/CODEOWNERS
  2. 9
      .github/workflows/build.yml

@ -4,4 +4,4 @@
# the repo. Unless a later match takes precedence,
# these owners will be requested for review when someone
# opens a pull request.
* @dav3r @felddy @jsf9k @mcdonnnj @cisagov/team-ois
* @dav3r @felddy @hillaryj @jsf9k @mcdonnnj @cisagov/team-ois

@ -1,10 +1,11 @@
---
name: build
on: [
push,
pull_request
]
on:
push:
pull_request:
repository_dispatch:
types: [apb]
env:
PIP_CACHE_DIR: ~/.cache/pip

Loading…
Cancel
Save