diff options
author | Adin Scannell <ascannell@google.com> | 2020-04-23 13:00:34 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-04-23 13:02:17 -0700 |
commit | 2e8c35b506654172243ea46918d27c897fca568c (patch) | |
tree | c430d08810dd5c90b9dee7d368bb11be0f676613 /.github | |
parent | ded5c963ae5c2a5d37508f8d122031a2cd60d642 (diff) |
Add basic GitHub labeler workflow.
This is the first automated GitHub actions workflow, and it simply applies
labels to pull request in a best-effort fashion.
PiperOrigin-RevId: 308112191
Diffstat (limited to '.github')
-rw-r--r-- | .github/labeler.yml | 42 | ||||
-rw-r--r-- | .github/workflows/labeler.yml | 11 |
2 files changed, 53 insertions, 0 deletions
diff --git a/.github/labeler.yml b/.github/labeler.yml new file mode 100644 index 000000000..b6a17051c --- /dev/null +++ b/.github/labeler.yml @@ -0,0 +1,42 @@ +"arch: arm": + - "**/*_arm64.*" + - "**/*_aarch64.*" +"arch: x86_64": + - "**/*_amd64.*" + - "**/*_x86.*" +"area: bazel": + - "**/BUILD" + - "**/*.bzl" +"area: docs": + - "**/g3doc/**" + - "**/README.md" +"area: filesystem": + - "pkg/sentry/fs/**" + - "pkg/sentry/vfs/**" + - "pkg/sentry/fsimpl/**" +"area: hostinet": + - "pkg/sentry/socket/hostinet/**" +"area: networking": + - "pkg/tcpip/**" + - "pkg/sentry/socket/**" +"area: kernel": + - "pkg/sentry/arch/**" + - "pkg/sentry/kernel/**" + - "pkg/sentry/syscalls/**" +"area: mm": + - "pkg/sentry/mm/**" +"area: tests": + - "**/tests/**" + - "**/*_test.go" + - "**/test/**" +"area: tooling": + - "tools/**" +"dependencies": + - "WORKSPACE" + - "go.mod" + - "go.sum" +"platform: kvm": + - "pkg/sentry/platform/kvm/**" + - "pkg/sentry/platform/ring0/**" +"platform: ptrace": + - "pkg/sentry/platform/ptrace/**" diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml new file mode 100644 index 000000000..b5fd10352 --- /dev/null +++ b/.github/workflows/labeler.yml @@ -0,0 +1,11 @@ +name: "Labeler" +on: +- pull_request + +jobs: + label: + runs-on: ubuntu-latest + steps: + - uses: actions/labeler@v2 + with: + repo-token: "${{ secrets.GITHUB_TOKEN }}" |