Code

Use dev container#9

Code

Merged

nspin merged 5 commits intoseL4:mainseL4/rust-root-task-demo:mainfrom nspin:pr/dev-containernspin/rust-root-task-demo:pr/dev-containerCopy head branch name to clipboardSep 19, 2024

+182-112

Commits

Commits on Sep 19, 2024

• Bump everything

  Show description for b05dcaa
  nspin

  committed
  b05dcaa

  Copy full SHA for b05dcaa

• Leverage .cargo/config.toml

  Show description for c0a99d1
  nspin

  committed
  c0a99d1

  Copy full SHA for c0a99d1

• Base Docker container on Debian

  Show description for 384c6af
  nspin

  committed
  384c6af

  Copy full SHA for 384c6af

• Use dev container

  Show description for f557a77
  nspin

  committed
  f557a77

  Copy full SHA for f557a77

• Add target/ to .gitignore

  Show description for 3684af5
  nspin

  committed
  3684af5

  Copy full SHA for 3684af5