All pull requests

Pull requests

• Add support for different docker runtimes

  #1270·syphar opened Aug 21, 2026Member·

  ·
  1

• Improved instructions & docker permissions fix

  #1174·Souvlaki42 opened Sep 3, 2025·

  ·
  4

• Added cargo-script support

  #1050·AlexSherbinin opened Mar 10, 2024·

  ·
  1

  1

• Improve mobile experience

  #1045·krmanik opened Feb 19, 2024·

  ·
  1

• feat(ui/frontend): add shortcuts for tools

  #871·ShaunSHamilton opened Dec 25, 2022·

  ·
  1

  2

• Add rust-analyzer-wasm

  #813·hkalbasi opened Jun 14, 2022Member·

  ·
  1

• Add a magic comment syntax to set MIRIFLAGS

  #781·saethlin opened Feb 23, 2022Member·

  ·
  20

• Add support for -Zunpretty=ast-tree

  #722·JohnTitor opened Jun 8, 2021Member·

  ·
  1

  2

• Support wasm-pack frontend

  #707·titaneric opened Apr 15, 2021·

  ·

• Support wasm-pack backend

  #706·titaneric opened Apr 15, 2021·

  ·
  7

• Add favicons

  #704·imjasonmiller opened Apr 14, 2021·

  ·
  7

• Detect fn main<>()

  #669·Havvy opened Jan 9, 2021·

  ·
  2

• Disable page navigation on swipe

  #654·Schaeff opened Nov 29, 2020·

  ·

• reword CRATE_POLICY slightly

  #603·sunshowers opened May 26, 2020·

  ·

• Add rustfmt.toml

  #572·rchaser53 opened Jan 29, 2020Contributor·

  ·

• presentation mode

  #287·timglabisch opened Apr 5, 2018·

  ·
  3

• Put the playground UI inside docker

  #191·aidanhs opened Jul 28, 2017·

  ·
  7