diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/build.yml | 25 | ||||
-rw-r--r-- | .github/workflows/go.yml | 64 | ||||
-rw-r--r-- | .github/workflows/issue_reviver.yml | 18 | ||||
-rw-r--r-- | .github/workflows/labeler.yml | 13 | ||||
-rw-r--r-- | .github/workflows/stale.yml | 22 |
5 files changed, 0 insertions, 142 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml deleted file mode 100644 index b0381a563..000000000 --- a/.github/workflows/build.yml +++ /dev/null @@ -1,25 +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: - - 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/go.yml b/.github/workflows/go.yml deleted file mode 100644 index 594dc7ffc..000000000 --- a/.github/workflows/go.yml +++ /dev/null @@ -1,64 +0,0 @@ -# This workflow generates the Go branch. Note that this does not test the Go -# branch, as this is rolled into the main continuous integration pipeline. This -# workflow simply generates and pushes the branch, as long as appropriate -# permissions are available. -name: "Go" -"on": - push: - branches: - - master - pull_request: - branches: - - master - - "feature/**" - -jobs: - generate: - runs-on: ubuntu-latest - steps: - - id: setup - run: | - if ! [[ -z "${{ secrets.GO_TOKEN }}" ]]; then - echo ::set-output name=has_token::true - else - echo ::set-output name=has_token::false - fi - - run: | - jq -nc '{"state": "pending", "context": "go tests"}' | \ - curl -sL -X POST -d @- \ - -H "Content-Type: application/json" \ - -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ - "${{ github.event.pull_request.statuses_url }}" - if: github.event_name == 'pull_request' - - uses: actions/checkout@v2 - if: github.event_name == 'push' && steps.setup.outputs.has_token == 'true' - with: - fetch-depth: 0 - token: '${{ secrets.GO_TOKEN }}' - - uses: actions/checkout@v2 - if: github.event_name == 'pull_request' || steps.setup.outputs.has_token != 'true' - with: - fetch-depth: 0 - - uses: actions/setup-go@v2 - with: - go-version: 1.15 - - run: tools/go_branch.sh - - run: git checkout go && git clean -xf . && go build ./... - - if: github.event_name == 'push' - run: | - git remote add upstream "https://github.com/${{ github.repository }}" - git push upstream go:go - - if: ${{ success() && github.event_name == 'pull_request' }} - run: | - jq -nc '{"state": "success", "context": "go tests"}' | \ - curl -sL -X POST -d @- \ - -H "Content-Type: application/json" \ - -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ - "${{ github.event.pull_request.statuses_url }}" - - if: ${{ failure() && github.event_name == 'pull_request' }} - run: | - jq -nc '{"state": "failure", "context": "go tests"}' | \ - curl -sL -X POST -d @- \ - -H "Content-Type: application/json" \ - -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ - "${{ github.event.pull_request.statuses_url }}" diff --git a/.github/workflows/issue_reviver.yml b/.github/workflows/issue_reviver.yml deleted file mode 100644 index 3bd883035..000000000 --- a/.github/workflows/issue_reviver.yml +++ /dev/null @@ -1,18 +0,0 @@ -# This workflow revives issues that are still referenced in the code, and may -# have been accidentally closed or marked stale. -name: "Issue reviver" -"on": - schedule: - - cron: '0 0 * * *' - -jobs: - issue_reviver: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - if: github.repository == 'google/gvisor' - - run: make run TARGETS="//tools/github" ARGS="revive" - if: github.repository == 'google/gvisor' - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - GITHUB_REPOSITORY: ${{ github.repository }} diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml deleted file mode 100644 index 3a19065e1..000000000 --- a/.github/workflows/labeler.yml +++ /dev/null @@ -1,13 +0,0 @@ -# Labeler labels incoming pull requests. -name: "Labeler" -"on": -- pull_request - -jobs: - label: - runs-on: ubuntu-latest - steps: - - uses: actions/labeler@v2 - if: github.base_ref == null - with: - repo-token: "${{ secrets.GITHUB_TOKEN }}" diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml deleted file mode 100644 index 3a4aa22e2..000000000 --- a/.github/workflows/stale.yml +++ /dev/null @@ -1,22 +0,0 @@ -# The stale workflow closes stale issues and pull requests, unless specific -# tags have been applied in order to keep them open. -name: "Close stale issues" -"on": - schedule: - - cron: "0 0 * * *" - -jobs: - stale: - runs-on: ubuntu-latest - steps: - - uses: actions/stale@v3 - with: - repo-token: ${{ secrets.GITHUB_TOKEN }} - 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' - 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 - days-before-close: 30 |