Skip to content

Actions: FStarLang/FStar

Actions

Build FStar Binaries for MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos-build.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build FStar Binaries for MacOS Build FStar Binaries for MacOS #196: Manually run by mtzguido
December 4, 2024 18:43 25m 37s master
master
December 4, 2024 18:43 25m 37s
Build FStar Binaries for MacOS Build FStar Binaries for MacOS #195: Manually run by mtzguido
December 3, 2024 20:16 20m 40s master
master
December 3, 2024 20:16 20m 40s
Build FStar Binaries for MacOS Build FStar Binaries for MacOS #194: Manually run by mtzguido
December 3, 2024 19:46 15m 53s master
master
December 3, 2024 19:46 15m 53s