Repository navigation

Upgrade opam to 2.6.1 in the devcontainer - #8889

Merged

cknitt merged 1 commit into

devcontainer-opam-2.6.1

Oct 18, 2026

Merged

Upgrade opam to 2.6.1 in the devcontainer#8889
cknitt merged 1 commit into
masterfrom
devcontainer-opam-2.6.1

Commits on Oct 18, 2026
- Install opam 2.6.1 in the devcontainer
  
  cknitt
  and
  claude
  committed
  8fae750