pkgs/by-name/st/steel/

pkgs/by-name/st/ · 1 packages and modules · 2 open pull requests

Sign in to subscribe

Packages and modules 1

steelrisk 0 2 0

Pull requests 2

steel: 0.8.2 -> 0.8.3

#555737 by HigherOrderLogic · opened 7w ago

steel: 0-unstable-2026-02-12 -> xtask-v0.8.2-unstable-2026-03-23 draft

#492359 by r-ryantm · opened 7mo ago

Closed or merged in the synced window 2

steel{,-language-server}: use STEEL_SEARCH_PATHS instead of STEEL_HOME

#562709 by HeitorAugustoLN · merged 4w ago

steel{,-language-server}: stop setting default `STEEL_HOME`

#539326 by HigherOrderLogic · closed 4w ago

Issues 0

None open.