diff --git a/.github/workflows/Audit.yml b/.github/workflows/Audit.yml index 37c3bd37..bbe21f3a 100644 --- a/.github/workflows/Audit.yml +++ b/.github/workflows/Audit.yml @@ -10,7 +10,21 @@ on: - cron: '5 20 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + audit: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest steps: - name: Checkout Moka diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 4b5d2cb5..0181f05d 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -16,7 +16,21 @@ on: - cron: '0 20 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + test: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest strategy: # Continue running other jobs in the matrix even if one fails. diff --git a/.github/workflows/CIQuantaDisabled.yml b/.github/workflows/CIQuantaDisabled.yml index ef510403..f08b355b 100644 --- a/.github/workflows/CIQuantaDisabled.yml +++ b/.github/workflows/CIQuantaDisabled.yml @@ -16,7 +16,21 @@ on: - cron: '0 20 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + test: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest strategy: # Continue running other jobs in the matrix even if one fails. diff --git a/.github/workflows/Kani.yml b/.github/workflows/Kani.yml index d4c31d55..9b67be92 100644 --- a/.github/workflows/Kani.yml +++ b/.github/workflows/Kani.yml @@ -17,7 +17,21 @@ on: - README.md jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + run-kani: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-20.04 steps: - name: Checkout Moka diff --git a/.github/workflows/Lints.yml b/.github/workflows/Lints.yml index 5612b0d0..d86a7d88 100644 --- a/.github/workflows/Lints.yml +++ b/.github/workflows/Lints.yml @@ -11,7 +11,21 @@ on: - cron: '0 19 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + test: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest strategy: matrix: diff --git a/.github/workflows/LinuxCrossCompileTest.yml b/.github/workflows/LinuxCrossCompileTest.yml index 926faac2..57ffd4a9 100644 --- a/.github/workflows/LinuxCrossCompileTest.yml +++ b/.github/workflows/LinuxCrossCompileTest.yml @@ -18,7 +18,21 @@ on: - cron: '0 21 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + linux-cross: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest strategy: # Continue running other jobs in the matrix even if one fails. diff --git a/.github/workflows/Miri.yml b/.github/workflows/Miri.yml index 2871bfd9..1d6a6a39 100644 --- a/.github/workflows/Miri.yml +++ b/.github/workflows/Miri.yml @@ -18,7 +18,21 @@ on: - cron: '0 21 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + test: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest steps: diff --git a/.github/workflows/Skeptic.yml b/.github/workflows/Skeptic.yml index ae9a9064..28d9a0fa 100644 --- a/.github/workflows/Skeptic.yml +++ b/.github/workflows/Skeptic.yml @@ -11,7 +11,21 @@ on: - cron: '0 21 * * 5' jobs: + pre_job: + runs-on: ubuntu-latest + outputs: + should_skip: ${{ steps.skip_check.outputs.should_skip }} + steps: + - id: skip_check + # https://github.com/marketplace/actions/skip-duplicate-actions + uses: fkirc/skip-duplicate-actions@v5 + with: + concurrent_skipping: 'same_content' + do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]' + test: + needs: pre_job + if: needs.pre_job.outputs.should_skip != 'true' runs-on: ubuntu-latest strategy: matrix: