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
Copy link
Copy Markdown
Owner

@a2line a2line commented Mar 30, 2026

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 16 times, most recently from ebcb800 to d17e329 Compare May 17, 2026 04:14
@a2line a2line force-pushed the master branch 4 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
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
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
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
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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant