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

Re-run triggered May 8, 2024 18:41
@gebnergebner
#40
amosr:amos/paths
Status Success
Total duration 42s
Artifacts 1

ci.yml

on: pull_request
build
32s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact Expired
9.99 MB