Issue Plan Maker

feat(runtimes): add first-class TLA+/TLC runtime support #430

Sign in to view logs

This workflow is awaiting approval from a maintainer

Triggered via issue June 26, 2026 16:20

Copilot

commented on #1223 4da4dff

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer

issue-plan-maker.lock.yml

on: issue_comment