Removing need for FSTAR_HOME #207

Triggered via pull request January 8, 2025 09:36

mtzguido

synchronize #162

mtzguido:dev

Status Failure

Total duration 21m 50s

Artifacts 1

windows.yaml

on: pull_request

1 error

Process completed with exit code 2.

Produced during runtime

Name	Size
everparse	136 MB