julia
Profile: Improve generation of clickable terminal links
#55857
Merged
Overview
Commits
4
Changes
View On GitHub

Profile: Improve generation of clickable terminal links #55857

IanButterworth merged 4 commits into JuliaLang:master from IanButterworth:ib/profile_link_escape
IanButterworth
IanButterworth IanButterworth added profiler
IanButterworth IanButterworth requested a review from tecosaur tecosaur 1 year ago
Seelengrab
Seelengrab commented on 2024-09-24
IanButterworth escape links in Profile clickable terminal links
0ff45f26
IanButterworth expose percent_escape & encode_uri_component from uripath
ec9519a4
IanButterworth IanButterworth force pushed from fac5641e to 71a2f649 1 year ago
IanButterworth IanButterworth requested a review from Seelengrab Seelengrab 1 year ago
IanButterworth IanButterworth removed review request from tecosaur tecosaur 1 year ago
IanButterworth IanButterworth requested a review from tecosaur tecosaur 1 year ago
IanButterworth IanButterworth changed the title Profile: escape links in Profile clickable terminal links Profile: Improve generation of clickable terminal links 1 year ago
IanButterworth update editor_link
f1da59ba
IanButterworth IanButterworth force pushed from 71a2f649 to f1da59ba 1 year ago
IanButterworth
IanButterworth commented on 2024-09-25
IanButterworth
IanButterworth commented on 2024-09-25
IanButterworth Update stdlib/Profile/src/Profile.jl
eccff24d
tecosaur
IanButterworth IanButterworth merged 60be4094 into master 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
profiler
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum