diff --git a/.github/workflows/clean-up.yml b/.github/workflows/clean-up.yml index a00dad7282db..e6195f8907bd 100644 --- a/.github/workflows/clean-up.yml +++ b/.github/workflows/clean-up.yml @@ -1,6 +1,7 @@ # Workflow that cleans up outdated and old workflows to prevent out of disk issues name: Delete old workflow runs +# This workflow is currently only triggered manually on: workflow_dispatch: inputs: diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 70df755595c8..bb85b522358e 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -1,14 +1,8 @@ # Workflow that builds and deploys the documentation website name: Deploy Docs to GitHub Pages -# Only run one workflow of the same group at a time. -# There can be at most one running and one pending job in a concurrency group at any time. -concurrency: - group: ${{ github.workflow }}-${{ github.ref }} - cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} - # * Always run on "main" -# * Run on PRs that target the "main" branch and have changes in the "docs" folder +# * Run on PRs that target the "main" branch and have changes in the "docs" folder or this workflow on: push: branches: @@ -16,15 +10,16 @@ on: pull_request: paths: - 'docs/**' + - '.github/workflows/deploy-docs.yml' branches: - main jobs: # Build the documentation website build: + if: github.repository == 'OpenDevin/OpenDevin' name: Build Docusaurus runs-on: ubuntu-latest - if: github.repository == 'OpenDevin/OpenDevin' steps: - uses: actions/checkout@v4 with: @@ -52,10 +47,14 @@ jobs: # Deploy the documentation website deploy: + if: github.ref == 'refs/heads/main' && github.repository == 'OpenDevin/OpenDevin' name: Deploy to GitHub Pages runs-on: ubuntu-latest + # This job only runs on "main" so only run one of these jobs at a time + # otherwise it will fail if one is already running + concurrency: + group: ${{ github.workflow }}-${{ github.ref }} needs: build - if: github.ref == 'refs/heads/main' && github.repository == 'OpenDevin/OpenDevin' # Grant GITHUB_TOKEN the permissions required to make a Pages deployment permissions: pages: write # to deploy to Pages diff --git a/.github/workflows/dummy-agent-test.yml b/.github/workflows/dummy-agent-test.yml index 4633837f5099..d9da088213fe 100644 --- a/.github/workflows/dummy-agent-test.yml +++ b/.github/workflows/dummy-agent-test.yml @@ -1,12 +1,8 @@ # Workflow that uses the DummyAgent to run a simple task name: Run E2E test with dummy agent -# Only run one workflow of the same group at a time. -# There can be at most one running and one pending job in a concurrency group at any time. -concurrency: - group: ${{ github.workflow }}-${{ github.ref }} - cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} - +# Always run on "main" +# Always run on PRs on: push: branches: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 37676fdede1f..9aa4426e874f 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,12 +1,9 @@ # Workflow that runs lint on the frontend and python code name: Lint -# Only run one workflow of the same group at a time. -# There can be at most one running and one pending job in a concurrency group at any time. -concurrency: - group: ${{ github.workflow }}-${{ github.ref }} - cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} - +# The jobs in this workflow are required, so they must run at all times +# Always run on "main" +# Always run on PRs on: push: branches: diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 6897fc79adea..764c3fda7620 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -1,6 +1,7 @@ # Workflow that marks issues and PRs with no activity for 30 days with "Stale" and closes them after 7 more days of no activity name: 'Close stale issues' +# Runs every day at 01:30 on: schedule: - cron: '30 1 * * *'