Skip to content

Extract job documentation URL from logs#88

Merged
marcoieni merged 1 commit intorust-lang:masterfrom
Kobzol:extract-doc-url
Mar 17, 2025
Merged

Extract job documentation URL from logs#88
marcoieni merged 1 commit intorust-lang:masterfrom
Kobzol:extract-doc-url

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Mar 13, 2025

Implemented in rust-lang/rust#136911 (but we don't really need to wait for that PR). This is how it would look like:
image

@Kobzol Kobzol requested a review from emilyalbini March 13, 2025 15:47
@Kobzol
Copy link
Member Author

Kobzol commented Mar 14, 2025

@marcoieni marcoieni merged commit 475baab into rust-lang:master Mar 17, 2025
1 check passed
@Kobzol Kobzol deleted the extract-doc-url branch March 17, 2025 08:58
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.

2 participants