Skip to content

Conversation

@jieyouxu
Copy link
Member

@jieyouxu jieyouxu commented Jan 18, 2025

Stolen from

- name: Install josh
run: RUSTFLAGS="--cap-lints warn" cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r24.10.04

This might become outdated if the CI version ever gets bumped, but it's better than nothing.

r? @Kobzol

@jieyouxu jieyouxu added S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content WG-rustc-dev-guide Working group: rustc-dev-guide A-josh Area: `josh` subtree sync labels Jan 18, 2025
@jieyouxu jieyouxu requested a review from Kobzol January 18, 2025 06:16
@jieyouxu
Copy link
Member Author

(Forgor there's no r? on this repo)

Copy link
Member

@BoxyUwU BoxyUwU left a comment

Choose a reason for hiding this comment

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

?
lgbt though

@jieyouxu jieyouxu enabled auto-merge January 20, 2025 04:36
@jieyouxu jieyouxu merged commit 28d85dc into rust-lang:master Jan 20, 2025
1 check passed
@jieyouxu jieyouxu deleted the install-josh-proxy branch January 20, 2025 04:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-josh Area: `josh` subtree sync S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content WG-rustc-dev-guide Working group: rustc-dev-guide

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants