fix(proofs/action): Fix interop action tests

[Inphi]

Fix action testing of the kona-interop program and re-enable that test in gh ci.

fixes #3010, ethereum-optimism/optimism#18613

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.1%. Comparing base (3d78173) to head (1dcd697).
⚠️ Report is 1 commits behind head on main.
✅ All tests successful. No failed tests found.

❗ There is a different number of reports uploaded between BASE (3d78173) and HEAD (1dcd697). Click for more details.

HEAD has 14 uploads less than BASE

Flag	BASE (3d78173)	HEAD (1dcd697)
proof	4	0
e2e	9	0
unit	2	1

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Copilot]

Pull request overview

This PR fixes the interop action tests for the kona-interop program and re-enables them in GitHub CI. The changes consolidate the build process, implement the previously stubbed interop test runner, and remove the CI exclusion that was preventing interop tests from running.

Key changes:

• Consolidates build steps for action tests into a shared action-tests-build recipe
• Implements the previously stubbed action-tests-interop-run recipe with proper test execution
• Removes the GitHub Actions matrix exclude that was disabling interop tests

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
tests/justfile	Refactored action test recipes to consolidate build steps and implement interop test execution with consistent parameters matching single-chain tests
.github/workflows/proof.yaml	Re-enabled interop tests by removing the matrix exclude for the interop kind

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.