Skip to content
Windows package build

Removing need for FSTAR_HOME #208

Sign in to view logs

Removing need for FSTAR_HOME

Removing need for FSTAR_HOME #208

Triggered via pull request January 8, 2025 16:16
@mtzguidomtzguido
synchronize #162
mtzguido:dev
Status Success
Total duration 22m 12s
Artifacts 1

windows.yaml

on: pull_request
build
20m 41s
build
test
1m 11s
test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
everparse
136 MB