From 322205379615efebac5121f0204750d4943bc4f6 Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 11:52:27 -0700 Subject: [PATCH 1/6] ci: execute ProofRun V1 journey matrix --- .github/workflows/proofrun.yml | 55 +++++++++++++++++++ docs/proofrun/workflows/README.md | 20 +++---- proofrun/catalog/README.md | 9 +++ .../catalog/devices/android-emulator.yaml | 18 ++++++ .../catalog/devices/chromium-desktop.yaml | 13 +++++ proofrun/catalog/devices/chromium-mobile.yaml | 14 +++++ proofrun/catalog/devices/ios-simulator.yaml | 18 ++++++ .../catalog/devices/metanet-client-macos.yaml | 18 ++++++ proofrun/catalog/devices/webkit-desktop.yaml | 14 +++++ proofrun/catalog/devices/webkit-mobile.yaml | 13 +++++ proofrun/catalog/profiles/domain-expert.yaml | 24 ++++++++ .../catalog/profiles/impatient-newcomer.yaml | 27 +++++++++ 12 files changed, 233 insertions(+), 10 deletions(-) create mode 100644 .github/workflows/proofrun.yml create mode 100644 proofrun/catalog/README.md create mode 100644 proofrun/catalog/devices/android-emulator.yaml create mode 100644 proofrun/catalog/devices/chromium-desktop.yaml create mode 100644 proofrun/catalog/devices/chromium-mobile.yaml create mode 100644 proofrun/catalog/devices/ios-simulator.yaml create mode 100644 proofrun/catalog/devices/metanet-client-macos.yaml create mode 100644 proofrun/catalog/devices/webkit-desktop.yaml create mode 100644 proofrun/catalog/devices/webkit-mobile.yaml create mode 100644 proofrun/catalog/profiles/domain-expert.yaml create mode 100644 proofrun/catalog/profiles/impatient-newcomer.yaml diff --git a/.github/workflows/proofrun.yml b/.github/workflows/proofrun.yml new file mode 100644 index 0000000..56caefb --- /dev/null +++ b/.github/workflows/proofrun.yml @@ -0,0 +1,55 @@ +name: ProofRun product journeys + +on: + pull_request: + workflow_dispatch: + schedule: + - cron: '13 5 * * 1' + +permissions: + contents: read + +concurrency: + group: proofrun-${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + +jobs: + journeys: + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository + runs-on: ubuntu-latest + timeout-minutes: 120 + strategy: + fail-fast: false + max-parallel: 1 + matrix: + workflow: + - docs/proofrun/workflows/papertrade-admin-review-ledger-payout.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-author-submission-preview.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-feedback-usercom-signals.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-reader-free-first-page.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-reader-paid-page-purchase.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-reader-paid-page-reread-no-second-charge.v1.proofrun.yaml + - docs/proofrun/workflows/papertrade-wallet-failure-recovery.v1.proofrun.yaml + steps: + - uses: actions/checkout@v4 + - name: Verify ProofRun API ingress + run: curl --fail --show-error --location --retry 3 --retry-all-errors --connect-timeout 10 --max-time 30 https://app.proofrun.metanet.app/healthz + - uses: p2ppsr/proofrun-github@5b8f25cf190bb2f258e09b1e1a2e924a14f6641f + with: + mode: hosted + workflow: ${{ matrix.workflow }} + profiles: | + proofrun/catalog/profiles/impatient-newcomer.yaml + proofrun/catalog/profiles/domain-expert.yaml + devices: | + proofrun/catalog/devices/android-emulator.yaml + proofrun/catalog/devices/chromium-desktop.yaml + proofrun/catalog/devices/chromium-mobile.yaml + proofrun/catalog/devices/ios-simulator.yaml + proofrun/catalog/devices/metanet-client-macos.yaml + proofrun/catalog/devices/webkit-desktop.yaml + proofrun/catalog/devices/webkit-mobile.yaml + platform-url: https://app.proofrun.metanet.app + token: ${{ secrets.PROOFRUN_TOKEN }} + warn-behavior: success + timeout-seconds: '6900' diff --git a/docs/proofrun/workflows/README.md b/docs/proofrun/workflows/README.md index bf84b62..d55e474 100644 --- a/docs/proofrun/workflows/README.md +++ b/docs/proofrun/workflows/README.md @@ -4,14 +4,14 @@ The YAML files in this directory are executable `proofrun.dev/v1` contracts. They were migrated from the operator checklists in `../flows`; those source checklists remain available for audit history during the transition. -Execution resolves versioned customer and device contracts from the private -`p2ppsr/proofrun-presets` catalog. The migration baseline is ProofRun core -`283f357309a844dde0821dcdc61facbb7f9def64` and catalog -`017c11ec2edbec22371a8e53e7b6511e47ab56b6`. +Execution resolves versioned customer and device contracts from the vendored +`proofrun/catalog` inputs. Their README records the exact private catalog +revision and immutable update rule. The GitHub workflow submits the complete +bundle to the private control plane without requiring an operator checkout. -Ordinary Chromium/WebKit viewport cases can run on Playwright workers today. -Cases naming `ios-simulator`, `android-emulator`, Metanet Explorer, or -Metanet Client remain unschedulable until a runner advertises the corresponding -real device bridge and capabilities. A workflow never executes the arbitrary -local shell commands from the legacy `preflight.commands`; required-state -statements were converted to V1 oracle assertions. +Chromium and WebKit cases run on hosted Playwright workers. Capability-matched +iOS Simulator, Android Emulator, Metanet Explorer, and Metanet Client cases are +leased to the managed Evans Creek macOS runner with state-snapshot restoration. +State-changing and spending journeys still stop at the V1 manual approval +boundary. A workflow never executes arbitrary legacy `preflight.commands`; +required-state statements are portable oracle assertions. diff --git a/proofrun/catalog/README.md b/proofrun/catalog/README.md new file mode 100644 index 0000000..2cf651f --- /dev/null +++ b/proofrun/catalog/README.md @@ -0,0 +1,9 @@ +# Vendored ProofRun contracts + +These immutable CustomerProfile and DeviceProfile inputs are vendored from +private `p2ppsr/proofrun-presets` commit +`36f59bb9c0bafe742b799df6ec20e9d7e8a05791`. They contain no credentials; +secret names are runner-side handles. Update a file only by importing a new +catalog version and updating every `id@version` reference. The pinned GitHub +workflow submits these files with each executable workflow so CI never depends +on an operator checkout or product-specific logic in the ProofRun runtime. diff --git a/proofrun/catalog/devices/android-emulator.yaml b/proofrun/catalog/devices/android-emulator.yaml new file mode 100644 index 0000000..401f481 --- /dev/null +++ b/proofrun/catalog/devices/android-emulator.yaml @@ -0,0 +1,18 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.android-emulator + version: 1.0.0 + name: Generic Android small-phone emulator + description: A portable contract that opens the workflow target in Chrome on an isolated Android Emulator. +platform: android +driver: android-emulator +screen: {width: 412, height: 915, scale: 2.6, orientation: portrait, colorScheme: light} +browser: {engine: custom, name: Chrome for Android} +accessibility: [talkback, font-scale, reduce-motion] +capabilities: [device.screenshot, device.trace, device.lifecycle, touch] +provision: + bridgeProfile: generic-android-emulator + mode: browser + image: android-small-phone +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: true} diff --git a/proofrun/catalog/devices/chromium-desktop.yaml b/proofrun/catalog/devices/chromium-desktop.yaml new file mode 100644 index 0000000..ee1303c --- /dev/null +++ b/proofrun/catalog/devices/chromium-desktop.yaml @@ -0,0 +1,13 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.chromium-desktop + version: 1.0.0 + name: Chromium desktop 1440x900 +platform: web +driver: playwright +screen: {width: 1440, height: 900, scale: 1, orientation: landscape, colorScheme: light} +browser: {engine: chromium, channel: stable} +accessibility: [keyboard, axe, zoom] +capabilities: [browser.screenshot, browser.dom, browser.trace] +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: false} diff --git a/proofrun/catalog/devices/chromium-mobile.yaml b/proofrun/catalog/devices/chromium-mobile.yaml new file mode 100644 index 0000000..22eaafb --- /dev/null +++ b/proofrun/catalog/devices/chromium-mobile.yaml @@ -0,0 +1,14 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.chromium-mobile + version: 1.0.0 + name: Chromium mobile viewport 412x915 + description: Portable Android-sized Chromium coverage without an emulator or product-specific app. +platform: web +driver: playwright +screen: {width: 412, height: 915, scale: 2.6, orientation: portrait, colorScheme: light} +browser: {engine: chromium} +accessibility: [keyboard, axe, zoom] +capabilities: [browser.screenshot, browser.dom, browser.trace, touch] +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: false} diff --git a/proofrun/catalog/devices/ios-simulator.yaml b/proofrun/catalog/devices/ios-simulator.yaml new file mode 100644 index 0000000..3a9738b --- /dev/null +++ b/proofrun/catalog/devices/ios-simulator.yaml @@ -0,0 +1,18 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.ios-simulator + version: 1.0.0 + name: Generic iOS small-phone simulator + description: A portable contract that opens the workflow target in Mobile Safari on an isolated iOS Simulator. +platform: ios +driver: ios-simulator +screen: {width: 390, height: 844, scale: 3, orientation: portrait, colorScheme: light} +browser: {engine: custom, name: Mobile Safari} +accessibility: [voiceover, dynamic-type, reduce-motion] +capabilities: [device.screenshot, device.trace, device.lifecycle, touch] +provision: + bridgeProfile: generic-ios-simulator + mode: browser + image: ios-small-phone +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: true} diff --git a/proofrun/catalog/devices/metanet-client-macos.yaml b/proofrun/catalog/devices/metanet-client-macos.yaml new file mode 100644 index 0000000..ebe75ec --- /dev/null +++ b/proofrun/catalog/devices/metanet-client-macos.yaml @@ -0,0 +1,18 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: p2ppsr.metanet-client-macos + version: 1.0.0 + name: macOS with Metanet Client + description: Isolated macOS VM with Metanet Client preinstalled and a disposable QA profile. +platform: macos +driver: macos-host +screen: {width: 1512, height: 982, scale: 2, orientation: landscape, colorScheme: light} +browser: {engine: custom, name: System browser with Metanet Client} +accessibility: [voiceover, keyboard, zoom, reduce-motion] +capabilities: [device.screenshot, device.trace, desktop.input, app.preinstalled, wallet.profile-restore] +provision: + bridgeProfile: metanet-client-macos + image: metanet-client-macos-v1 + walletSnapshotHandle: PROOFRUN_P0_WALLET_SNAPSHOT +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: true} diff --git a/proofrun/catalog/devices/webkit-desktop.yaml b/proofrun/catalog/devices/webkit-desktop.yaml new file mode 100644 index 0000000..76ca27d --- /dev/null +++ b/proofrun/catalog/devices/webkit-desktop.yaml @@ -0,0 +1,14 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.webkit-desktop + version: 1.0.0 + name: WebKit desktop 1440x900 + description: Portable desktop WebKit coverage without a product-specific browser image. +platform: web +driver: playwright +screen: {width: 1440, height: 900, scale: 1, orientation: landscape, colorScheme: light} +browser: {engine: webkit} +accessibility: [keyboard, axe, zoom] +capabilities: [browser.screenshot, browser.dom, browser.trace] +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: false} diff --git a/proofrun/catalog/devices/webkit-mobile.yaml b/proofrun/catalog/devices/webkit-mobile.yaml new file mode 100644 index 0000000..f155835 --- /dev/null +++ b/proofrun/catalog/devices/webkit-mobile.yaml @@ -0,0 +1,13 @@ +apiVersion: proofrun.dev/v1 +kind: DeviceProfile +metadata: + id: device.webkit-mobile + version: 1.0.0 + name: WebKit mobile viewport 390x844 +platform: web +driver: playwright +screen: {width: 390, height: 844, scale: 3, orientation: portrait, colorScheme: light} +browser: {engine: webkit, channel: stable} +accessibility: [keyboard, axe, zoom] +capabilities: [browser.screenshot, browser.dom, browser.trace, touch] +isolation: {ephemeral: true, networkPolicy: allowlisted, trustedRefsOnly: false} diff --git a/proofrun/catalog/profiles/domain-expert.yaml b/proofrun/catalog/profiles/domain-expert.yaml new file mode 100644 index 0000000..f8cc221 --- /dev/null +++ b/proofrun/catalog/profiles/domain-expert.yaml @@ -0,0 +1,24 @@ +apiVersion: proofrun.dev/v1 +kind: CustomerProfile +metadata: + id: customer.domain-expert + version: 1.0.0 + name: Domain expert + description: High familiarity, high technical confidence, still sensitive to wasted motion. + labels: {family: expert} +traits: + goals: [Complete advanced tasks efficiently, Verify operational detail] + domainFamiliarity: 0.95 + technicalConfidence: 0.95 + riskTolerance: 0.5 + language: en-US + readingLevel: expert + accessibilityNeeds: [] +cognition: + attentionBudget: 45 + confusionThreshold: 35 + jargonTolerance: 0.9 + patienceActions: 35 + maxIdleSeconds: 6 + onConfused: backtrack + onBored: skip diff --git a/proofrun/catalog/profiles/impatient-newcomer.yaml b/proofrun/catalog/profiles/impatient-newcomer.yaml new file mode 100644 index 0000000..5d077fc --- /dev/null +++ b/proofrun/catalog/profiles/impatient-newcomer.yaml @@ -0,0 +1,27 @@ +apiVersion: proofrun.dev/v1 +kind: CustomerProfile +metadata: + id: customer.impatient-newcomer + version: 1.0.0 + name: Impatient newcomer + description: Low domain familiarity and a deliberately short attention budget. + labels: {family: newcomer} +traits: + goals: [Understand the offer quickly, Complete one useful task] + domainFamiliarity: 0.1 + technicalConfidence: 0.35 + riskTolerance: 0.2 + language: en-US + readingLevel: general + accessibilityNeeds: [] +cognition: + attentionBudget: 18 + confusionThreshold: 14 + jargonTolerance: 0.1 + patienceActions: 10 + maxIdleSeconds: 8 + onConfused: ask + onBored: abandon +instructions: + - Do not infer unexplained industry terms from model training; react as this customer would. + - Stop when the attention budget is exhausted and explain the causal UI friction. From efa8af17e29c33896f3d69bb06d587b191f5bf70 Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 11:58:38 -0700 Subject: [PATCH 2/6] Fix private ProofRun action checkout --- .github/workflows/proofrun.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/proofrun.yml b/.github/workflows/proofrun.yml index 56caefb..bbc9ded 100644 --- a/.github/workflows/proofrun.yml +++ b/.github/workflows/proofrun.yml @@ -34,7 +34,15 @@ jobs: - uses: actions/checkout@v4 - name: Verify ProofRun API ingress run: curl --fail --show-error --location --retry 3 --retry-all-errors --connect-timeout 10 --max-time 30 https://app.proofrun.metanet.app/healthz - - uses: p2ppsr/proofrun-github@5b8f25cf190bb2f258e09b1e1a2e924a14f6641f + - name: Checkout pinned private ProofRun action + uses: actions/checkout@v4 + with: + repository: p2ppsr/proofrun-github + ref: 5b8f25cf190bb2f258e09b1e1a2e924a14f6641f + ssh-key: ${{ secrets.PROOFRUN_ACTION_SSH_KEY }} + persist-credentials: false + path: .proofrun/action + - uses: ./.proofrun/action with: mode: hosted workflow: ${{ matrix.workflow }} From 568e97f18970245a2877685cf0f812ec95f625be Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 12:07:53 -0700 Subject: [PATCH 3/6] Fix immutable mobile device version --- .../papertrade-feedback-usercom-signals.v1.proofrun.yaml | 4 ++-- .../papertrade-reader-free-first-page.v1.proofrun.yaml | 4 ++-- .../papertrade-wallet-failure-recovery.v1.proofrun.yaml | 4 ++-- proofrun/catalog/README.md | 2 +- proofrun/catalog/devices/chromium-mobile.yaml | 2 +- 5 files changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/proofrun/workflows/papertrade-feedback-usercom-signals.v1.proofrun.yaml b/docs/proofrun/workflows/papertrade-feedback-usercom-signals.v1.proofrun.yaml index f66c5ea..bef95b2 100644 --- a/docs/proofrun/workflows/papertrade-feedback-usercom-signals.v1.proofrun.yaml +++ b/docs/proofrun/workflows/papertrade-feedback-usercom-signals.v1.proofrun.yaml @@ -3,7 +3,7 @@ kind: Workflow metadata: id: papertrade-feedback-usercom-signals name: PaperTrade feedback and UserCom signal capture - version: 1.0.0 + version: 1.0.1 description: A reader, author, or evaluator who needs to send feedback or support context from a real PaperTrade surface. labels: migration: proofrunVersion-1 @@ -39,7 +39,7 @@ matrix: - agent: openai-computer profile: customer.impatient-newcomer@1.0.0 accessibility: standard - device: device.chromium-mobile@1.0.0 + device: device.chromium-mobile@1.1.0 legacyMobileBrowser: android-chrome legacyNetworks: mainnet - agent: openai-computer diff --git a/docs/proofrun/workflows/papertrade-reader-free-first-page.v1.proofrun.yaml b/docs/proofrun/workflows/papertrade-reader-free-first-page.v1.proofrun.yaml index 7c6574b..b68aaea 100644 --- a/docs/proofrun/workflows/papertrade-reader-free-first-page.v1.proofrun.yaml +++ b/docs/proofrun/workflows/papertrade-reader-free-first-page.v1.proofrun.yaml @@ -3,7 +3,7 @@ kind: Workflow metadata: id: papertrade-reader-free-first-page name: PaperTrade reader discovery to first free page - version: 1.0.0 + version: 1.0.1 description: A new reader who is curious about PaperTrade but may not yet understand BSV, wallets, or pay-per-page publishing. labels: migration: proofrunVersion-1 @@ -39,7 +39,7 @@ matrix: - agent: openai-computer profile: customer.impatient-newcomer@1.0.0 accessibility: standard - device: device.chromium-mobile@1.0.0 + device: device.chromium-mobile@1.1.0 legacyMobileBrowser: android-chrome legacyNetworks: mainnet - agent: openai-computer diff --git a/docs/proofrun/workflows/papertrade-wallet-failure-recovery.v1.proofrun.yaml b/docs/proofrun/workflows/papertrade-wallet-failure-recovery.v1.proofrun.yaml index 40c7ef2..8d6845c 100644 --- a/docs/proofrun/workflows/papertrade-wallet-failure-recovery.v1.proofrun.yaml +++ b/docs/proofrun/workflows/papertrade-wallet-failure-recovery.v1.proofrun.yaml @@ -3,7 +3,7 @@ kind: Workflow metadata: id: papertrade-wallet-failure-recovery name: PaperTrade wallet missing, denied, timeout, and recovery - version: 1.0.0 + version: 1.0.1 description: A reader who tries to continue past page 1 without a supported wallet, denies a wallet request, or experiences a wallet timeout. labels: migration: proofrunVersion-1 @@ -42,7 +42,7 @@ matrix: - agent: openai-computer profile: customer.impatient-newcomer@1.0.0 accessibility: standard - device: device.chromium-mobile@1.0.0 + device: device.chromium-mobile@1.1.0 legacyMobileBrowser: android-chrome legacyMobileWallets: metanet-explorer-android legacyNetworks: mainnet diff --git a/proofrun/catalog/README.md b/proofrun/catalog/README.md index 2cf651f..742ea96 100644 --- a/proofrun/catalog/README.md +++ b/proofrun/catalog/README.md @@ -2,7 +2,7 @@ These immutable CustomerProfile and DeviceProfile inputs are vendored from private `p2ppsr/proofrun-presets` commit -`36f59bb9c0bafe742b799df6ec20e9d7e8a05791`. They contain no credentials; +`233abfc20895d1efac264885d5b05610bc2f5dfd`. They contain no credentials; secret names are runner-side handles. Update a file only by importing a new catalog version and updating every `id@version` reference. The pinned GitHub workflow submits these files with each executable workflow so CI never depends diff --git a/proofrun/catalog/devices/chromium-mobile.yaml b/proofrun/catalog/devices/chromium-mobile.yaml index 22eaafb..0d714ea 100644 --- a/proofrun/catalog/devices/chromium-mobile.yaml +++ b/proofrun/catalog/devices/chromium-mobile.yaml @@ -2,7 +2,7 @@ apiVersion: proofrun.dev/v1 kind: DeviceProfile metadata: id: device.chromium-mobile - version: 1.0.0 + version: 1.1.0 name: Chromium mobile viewport 412x915 description: Portable Android-sized Chromium coverage without an emulator or product-specific app. platform: web From 59f2799e8f44398d9dff178104b993754c2e2913 Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 13:19:30 -0700 Subject: [PATCH 4/6] ci: cancel abandoned ProofRun jobs --- .github/workflows/proofrun.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proofrun.yml b/.github/workflows/proofrun.yml index bbc9ded..083fbbc 100644 --- a/.github/workflows/proofrun.yml +++ b/.github/workflows/proofrun.yml @@ -38,7 +38,7 @@ jobs: uses: actions/checkout@v4 with: repository: p2ppsr/proofrun-github - ref: 5b8f25cf190bb2f258e09b1e1a2e924a14f6641f + ref: ab3bbe85baedaa65fe3eda190e91c00cc43c8172 ssh-key: ${{ secrets.PROOFRUN_ACTION_SSH_KEY }} persist-credentials: false path: .proofrun/action From 097244c682d037a8953d0143b9e9872ebb62740c Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 15:50:55 -0700 Subject: [PATCH 5/6] Pin cancellation-safe ProofRun action --- .github/workflows/proofrun.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proofrun.yml b/.github/workflows/proofrun.yml index 083fbbc..48c445c 100644 --- a/.github/workflows/proofrun.yml +++ b/.github/workflows/proofrun.yml @@ -38,7 +38,7 @@ jobs: uses: actions/checkout@v4 with: repository: p2ppsr/proofrun-github - ref: ab3bbe85baedaa65fe3eda190e91c00cc43c8172 + ref: 32909cf470c6484e5e4decedf6250547781e4ac2 ssh-key: ${{ secrets.PROOFRUN_ACTION_SSH_KEY }} persist-credentials: false path: .proofrun/action From e064adbc01efb3a0875c68c170c38a044b02090f Mon Sep 17 00:00:00 2001 From: Ty J Everett Date: Sun, 30 Aug 2026 16:46:03 -0700 Subject: [PATCH 6/6] ci: pin resilient ProofRun action --- .github/workflows/proofrun.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proofrun.yml b/.github/workflows/proofrun.yml index 48c445c..25b5e5b 100644 --- a/.github/workflows/proofrun.yml +++ b/.github/workflows/proofrun.yml @@ -38,7 +38,7 @@ jobs: uses: actions/checkout@v4 with: repository: p2ppsr/proofrun-github - ref: 32909cf470c6484e5e4decedf6250547781e4ac2 + ref: e2c18409dfad50aff196cbf4d59a9f0b60592c67 ssh-key: ${{ secrets.PROOFRUN_ACTION_SSH_KEY }} persist-credentials: false path: .proofrun/action