Skip to content

Actions: FStarLang/FStar

Actions

FStar Windows Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
4 workflow runs
4 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
FStar Windows Package FStar Windows Package #4: Manually run by tahina-pro
January 19, 2024 19:59 24m 41s master
master
January 19, 2024 19:59 24m 41s
FStar Windows Package FStar Windows Package #3: Manually run by tahina-pro
December 12, 2023 02:29 23m 42s _taramana_package_ci
_taramana_package_ci
December 12, 2023 02:29 23m 42s
FStar Windows Package FStar Windows Package #2: Manually run by tahina-pro
December 12, 2023 00:12 16m 52s _taramana_package_ci
_taramana_package_ci
December 12, 2023 00:12 16m 52s
FStar Windows Package FStar Windows Package #1: Manually run by tahina-pro
December 11, 2023 21:37 15m 40s master
master
December 11, 2023 21:37 15m 40s