Skip to content

ci: add PR input for workflow dispatch#10

Open
a2line wants to merge 1 commit into
masterfrom
testing_pr
Open

ci: add PR input for workflow dispatch#10
a2line wants to merge 1 commit into
masterfrom
testing_pr

Conversation

@a2line

@a2line a2line commented Mar 30, 2026

Copy link
Copy Markdown
Owner

No description provided.

@a2line a2line force-pushed the master branch 11 times, most recently from ab421d7 to 5d12ec2 Compare April 5, 2026 09:30
@a2line a2line force-pushed the master branch 17 times, most recently from 1af7e90 to 7ed75b5 Compare April 15, 2026 00:32
@a2line a2line force-pushed the master branch 9 times, most recently from 8e4b211 to 63694e0 Compare May 19, 2026 02:14
@a2line a2line force-pushed the master branch 2 times, most recently from e855b0c to e39b1b0 Compare May 22, 2026 03:35
a2line added a commit that referenced this pull request May 23, 2026
@a2line
simplify compilation tooltip: remove is_printed_by_template branch
59231e1 
The tooltip title previously used 
 (newline entity) on
OCaml-rendered pages and <br> on template-rendered ones. Both render
paths now share the same template engine, so <br> works everywhere.
Drop the conditional and the dead &#10; arm.
a2line added a commit that referenced this pull request May 23, 2026
@a2line
simplify compilation tooltip: remove is_printed_by_template branch
3fd5b27 
The tooltip title previously used &#10; (newline entity) on
OCaml-rendered pages and <br> on template-rendered ones. Both render
paths now share the same template engine, so <br> works everywhere.
Drop the conditional and the dead &#10; arm.
a2line added a commit that referenced this pull request May 23, 2026
@a2line
simplify compilation tooltip: remove is_printed_by_template branch
fc9df74 
The tooltip title previously used &#10; (newline entity) on
OCaml-rendered pages and <br> on template-rendered ones. Both render
paths now share the same template engine, so <br> works everywhere.
Drop the conditional and the dead &#10; arm.
a2line added a commit that referenced this pull request May 23, 2026
@a2line
simplify compilation tooltip: remove is_printed_by_template branch
78a3625 
The tooltip title previously used &#10; (newline entity) on
OCaml-rendered pages and <br> on template-rendered ones. Both render
paths now share the same template engine, so <br> works everywhere.
Drop the conditional and the dead &#10; arm.
@a2line a2line force-pushed the master branch 7 times, most recently from b1beb22 to af586c3 Compare May 30, 2026 06:11
@a2line a2line force-pushed the master branch 6 times, most recently from dbab560 to bd91781 Compare June 3, 2026 20:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@a2line