Remove FStar.Ghost.Pull #188

Triggered via pull request December 17, 2024 03:01

gebner

opened #160

gebner_rm_ghost_pull

Status Success

Total duration 35m 13s

Artifacts 1

windows.yaml

on: pull_request

Produced during runtime

Name	Size
everparse	132 MB