Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Directory.Build.props
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@
Override per-build via -p:TerminalGuiVersion=<x>; use -p:UseLocalTerminalGui=true
to build against the ../Terminal.Gui enlistment instead (see Directory.Build.targets).
-->
<TerminalGuiVersion Condition="'$(TerminalGuiVersion)' == ''">2.4.12-develop.7</TerminalGuiVersion>
<TerminalGuiVersion Condition="'$(TerminalGuiVersion)' == ''">2.4.12-develop.14</TerminalGuiVersion>

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Keep the default pin on a validated Terminal.Gui build

When this line becomes the default, every project that references $(TerminalGuiVersion) restores Terminal.Gui 2.4.12-develop.14. The bump workflow/PR for this exact version reports that validation failed and that Editor still needs source changes, so merging only the pin leaves the normal CI and consumer build path broken; include the compatibility fixes with this bump or leave the default at 2.4.12-develop.7.

Useful? React with 👍 / 👎.

</PropertyGroup>

<ItemGroup>
Expand Down
Loading