Skip to content
build

Fix relative paths in .fst.config.json fstar exe #43

Sign in to view logs

Fix relative paths in .fst.config.json fstar exe

Fix relative paths in .fst.config.json fstar exe #43

build

build
succeeded May 8, 2024 in 32s