Code

build: improve devcontainer setup#581

Code

Open

Wodann wants to merge 4 commits intomainmun-lang/mun:mainfrom fix/devcontainermun-lang/mun:fix/devcontainerCopy head branch name to clipboard

+262-123

Commits

Commits on Feb 9, 2025

• build: improve devcontainer setup

  Wodann

  committed
  820ac4c

  Copy full SHA for 820ac4c

• update install-llvm GitHub action

  Wodann

  committed
  3c2f97f

  Copy full SHA for 3c2f97f

• fix: filesystem permission for fix-libpolly.sh

  Wodann

  committed
  4cbcbb0

  Copy full SHA for 4cbcbb0

• fix: clippy errors

  Wodann

  committed
  37aad7c

  Copy full SHA for 37aad7c