Skip to content

Add and activate disposable REPL execution - #43

Closed
Deicyde wants to merge 5 commits into
facebookresearch:mainfrom
VivienCabannes:split/01b-repl-runtime-safety
Closed

Add and activate disposable REPL execution#43
Deicyde wants to merge 5 commits into
facebookresearch:mainfrom
VivienCabannes:split/01b-repl-runtime-safety

Harden Lean header validation and pin REPL runtime

55dd2cc
Select commit
Loading
Failed to load commit list.
Meta CLA / Meta CLA Check succeeded Sep 26, 2026 in 0s

Contributor License Agreement is valid!

View more details on Meta CLA