From 83e6422f3800820cc5a3a8e1b448316a704b571e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 6 Jul 2026 08:46:30 +0000 Subject: [PATCH 1/2] Initial plan From 1f7e6f17b7db5554aa25e4206dafdc17361c779f Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 6 Jul 2026 08:47:02 +0000 Subject: [PATCH 2/2] fix: correct artifact name in deployment summary from package.dhall to resolved.dhall --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index a017e12..b525d0d 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -148,7 +148,7 @@ jobs: run: | echo "✓ Successfully deployed Dhall frozen package" echo "Release Tag: v${{ inputs.version }}" - echo "Artifact: package.dhall" + echo "Artifact: resolved.dhall" # ── Post-release ───────────────────────────────────────────────────────────── update-docs: