diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 29 | ||||
| -rw-r--r-- | .github/workflows/stale.yml | 2 |
2 files changed, 1 insertions, 30 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml deleted file mode 100644 index b572dc94f..000000000 --- a/.github/workflows/build.yml +++ /dev/null @@ -1,29 +0,0 @@ -# This workflow builds the source code, extracts nogo annotations and -# posts them to GitHub, if applicable. This leverages the fact that the -# workflow token has appropriate permissions to do so, and attempts to -# leverage the GitHub workflow caches. -name: "Build" -"on": - push: - branches: - - master - pull_request: - branches: - - master - - "feature/**" - -jobs: - default: - runs-on: ubuntu-latest - steps: - - name: Cancel previous - uses: styfle/cancel-workflow-action@0.7.0 - with: - access_token: ${{ github.token }} - - uses: actions/checkout@v2 - - run: make - - run: make build OPTIONS="--build_tag_filters nogo" TARGETS="//..." - - run: make run TARGETS="//tools/github" ARGS="-path=bazel-bin/ -path=bazel-out/ nogo" - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - GITHUB_REPOSITORY: ${{ github.repository }} diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 3a4aa22e2..a9e0a4717 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -15,7 +15,7 @@ jobs: stale-issue-label: 'stale' stale-pr-label: 'stale' exempt-issue-labels: 'exported, type: bug, type: cleanup, type: enhancement, type: process, type: proposal, type: question' - exempt-pr-labels: 'ready to pull' + exempt-pr-labels: 'ready to pull, exported' stale-issue-message: 'This issue is stale because it has been open 90 days with no activity. Remove the stale label or comment or this will be closed in 30 days.' stale-pr-message: 'This pull request is stale because it has been open 90 days with no activity. Remove the stale label or comment or this will be closed in 30 days.' days-before-stale: 90 |