Skip to content
Open
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
23 changes: 23 additions & 0 deletions .github/workflows/parity.yml
Original file line number Diff line number Diff line change
Expand Up @@ -90,6 +90,29 @@ jobs:
- name: Verify oracle version
run: devcontainer --version

# 024 Phase 7: an EXPLICIT BuildKit precondition, landed before the runner starts
# depending on it so the runner change is never the thing that reddens the lane.
#
# Declarative cases with a `build` operation need BuildKit. The GitHub runner ships
# buildx today, so this step is mostly an assertion — which is the point: the
# alternative was an outcome-conditional assertion inside the case data, tolerating
# "succeeded OR failed" because BuildKit's presence was unknown. That was nearly
# vacuous, since every one of those invocations passes `--output-format json` and
# deacon's JSON ERROR document also contains `"outcome"`. Establishing the
# precondition here, and checking it in `prereq::require_buildkit()`, dissolves the
# need for that assertion shape entirely.
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3

- name: Verify BuildKit is available
# Fail LOUD and early rather than letting a `build` case report a divergence that
# is really a missing builder. `require_buildkit()` performs the same check inside
# the harness for local runs.
run: |
docker buildx version
docker buildx inspect --bootstrap >/dev/null
echo "BuildKit is available"

- name: Build deacon
run: cargo build -p deacon

Expand Down
Loading