Skip to content
Build and test FStar

Remove FStar.Ghost.Pull #4443

Sign in to view logs

Remove FStar.Ghost.Pull

Remove FStar.Ghost.Pull #4443

Triggered via pull request January 7, 2025 19:49
@gebnergebner
synchronize #3636
gebner_rm_ghost_pull
Status Success
Total duration 17m 21s
Artifacts –

linux-x64.yaml

on: pull_request
build
17m 13s
build
Fit to window
Zoom out
Zoom in