Remove FStar.Ghost.Pull #204

Re-run triggered January 7, 2025 19:26

gebner

#160

gebner_rm_ghost_pull

Status Success

Total duration 22m 29s

Artifacts 1

windows.yaml

on: pull_request

Produced during runtime

Name	Size
everparse	136 MB