Skip to content

Adjustments for new goal state - #169

Merged
wintersteiger merged 2 commits into
mainfrom
christoph/new-goal-state
Jul 8, 2026
Merged

Adjustments for new goal state#169
wintersteiger merged 2 commits into
mainfrom
christoph/new-goal-state

Update extracted prelude

922b1d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar