Skip to content

Commit fdc7989

Browse files
cuihtlauacclaude
andcommitted
Add ocaml-devcontainer-tsan devcontainer config
Pins reproduction recipe for TSan race-hunting to the tarides ocaml-devcontainer-tsan image (OCaml 5.4 with a pre-built +tsan switch). VS Code "Reopen in Container" or `devcontainer up` then `opam install --deps-only .` is enough to iterate on the @tsan-stress suite locally, instead of building a +tsan switch from scratch. The CI workflow (.github/workflows/tsan.yml) is authoritative and does not use this config — the devcontainer is dev convenience only. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent 8b9bfcc commit fdc7989

1 file changed

Lines changed: 21 additions & 0 deletions

File tree

.devcontainer/devcontainer.json

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
{
2+
"name": "Irmin TSan development",
3+
"image": "ghcr.io/tarides/ocaml-devcontainer-tsan:latest",
4+
"features": {
5+
"ghcr.io/anthropics/devcontainer-features/claude-code:1": {}
6+
},
7+
"postStartCommand": "bash /home/vscode/.fix-tsan-aslr.sh || true",
8+
"remoteUser": "vscode",
9+
"mounts": [
10+
"source=dune-cache,target=/home/vscode/.cache/dune,type=volume"
11+
],
12+
"remoteEnv": {
13+
"DUNE_CACHE_ROOT": "/home/vscode/.cache/dune",
14+
"EIO_BACKEND": "posix"
15+
},
16+
"hostRequirements": {
17+
"cpus": 4,
18+
"memory": "8gb",
19+
"storage": "32gb"
20+
}
21+
}

0 commit comments

Comments
 (0)