Skip to content

Actions: mtzguido/FStar

Actions

Build F* (macos)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build F* (macos) Build F* (macos) #8: Manually run by mtzguido
19m 15s build
build
19m 15s
Build F* (macos) Build F* (macos) #7: Manually run by mtzguido
19m 7s build
build
19m 7s
test Build F* (macos) #6: Commit ca3f8dc pushed by mtzguido
9m 58s master
master
9m 58s
test Build F* (macos) #5: Commit 63d45f1 pushed by mtzguido
10m 4s master
master
10m 4s
test Build F* (macos) #4: Commit 43da6ce pushed by mtzguido
10m 38s master
master
10m 38s
WIP workflows Build F* (macos) #3: Commit d18636b pushed by mtzguido
13m 2s master
master
13m 2s
WIP workflows Build F* (macos) #2: Commit 1bc5547 pushed by mtzguido
14m 19s master
master
14m 19s
WIP workflows Build F* (macos) #1: Commit 76f5fde pushed by mtzguido
13m 45s master
master
13m 45s