Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/docker.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@ on:

jobs:
enclave:
# Only run if the Go workflow succeeded
if: ${{ github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success' }}
# Only build successful Go runs from this repository or manual dispatches.
if: ${{ github.event_name == 'workflow_dispatch' || (github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_repository.full_name == github.repository) }}
permissions:
id-token: write # for AWS OIDC authentication
runs-on: ubuntu-latest
Expand Down
9 changes: 5 additions & 4 deletions .github/workflows/eif-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -64,17 +64,18 @@ jobs:
name: Build EIF on Nitro EC2
runs-on: ubuntu-latest
# Publication is gated in docker.yml: automated Docker Build runs push an
# image only for a push to this repository's default branch, and every
# Docker Build run is bound to this repository, so the image's source is not
# re-checked here. Manual publication and measurement remain the
# workflow_dispatch paths of the two workflows.
# image only for a push to this repository's default branch. The repository
# check below also rejects upstream runs from forks as defence in depth.
# Manual publication and measurement remain the workflow_dispatch paths
# of the two workflows.
# The [skip-build] marker is matched with startsWith, not contains: a squash
# merge puts the entire PR description in the commit body, so contains also
# matches any PR whose description merely mentions the marker in prose. The
# update-pcrs commits this guard exists to ignore always lead with it.
if: |
(github.event_name == 'workflow_dispatch' ||
(github.event.workflow_run.conclusion == 'success' &&
github.event.workflow_run.head_repository.full_name == github.repository &&
github.event.workflow_run.head_branch == 'main' &&
!startsWith(github.event.workflow_run.head_commit.message, '[skip-build]')))
permissions:
Expand Down
Loading