Skip to content
Windows package build

Remove FStar.Ghost.Pull #189

Sign in to view logs

Remove FStar.Ghost.Pull

Remove FStar.Ghost.Pull #189

Triggered via pull request December 19, 2024 00:55
@tahina-protahina-pro
synchronize #160
gebner_rm_ghost_pull
Status Success
Total duration 37m 44s
Artifacts 1

windows.yaml

on: pull_request
build
37m 36s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
everparse
132 MB