Skip to content

Actions: mtzguido/FStar

Actions

Build F* (Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-windows.yml
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build F* (Windows) Build F* (Windows) #123: Manually run by mtzguido
34m 34s ci
ci
34m 34s
Build F* (Windows) Build F* (Windows) #122: Manually run by mtzguido
33m 28s ci
ci
33m 28s
Build F* (Windows) Build F* (Windows) #121: Manually run by mtzguido
35m 40s ci
ci
35m 40s
Build F* (Windows) Build F* (Windows) #120: Manually run by mtzguido
33m 22s ci
ci
33m 22s
Build F* (Windows) Build F* (Windows) #119: Manually run by mtzguido
32m 51s win
win
32m 51s
Build F* (Windows) Build F* (Windows) #118: Manually run by mtzguido
31m 6s win
win
31m 6s
override libgmp Build F* (Windows) #117: Commit c39894d pushed by mtzguido
32m 40s win
win
32m 40s
try Build F* (Windows) #116: Commit 887037f pushed by mtzguido
23m 54s win
win
23m 54s
try Build F* (Windows) #115: Commit 424971c pushed by mtzguido
Failure win
win
Failure
Build F* (Windows) Build F* (Windows) #114: Manually run by mtzguido
32m 33s master
master
32m 33s
Build F* (Windows) Build F* (Windows) #113: Manually run by mtzguido
16m 38s master
master
16m 38s
Build F* (Windows) Build F* (Windows) #112: Manually run by mtzguido
42m 44s master
master
42m 44s
win test Build F* (Windows) #111: Commit f4606f6 pushed by mtzguido
Failure win
win
Failure
win test Build F* (Windows) #110: Commit f4606f6 pushed by mtzguido
Failure win
win
Failure
Build F* (Windows) Build F* (Windows) #109: Manually run by mtzguido
33m 0s win
win
33m 0s
Build F* (Windows) Build F* (Windows) #108: Manually run by mtzguido
32m 34s win
win
32m 34s
Build F* (Windows) Build F* (Windows) #107: Manually run by mtzguido
17m 38s win
win
17m 38s
Build F* (Windows) Build F* (Windows) #106: Manually run by mtzguido
42m 25s win
win
42m 25s
test Build F* (Windows) #105: Commit a689334 pushed by mtzguido
49m 15s windows
windows
49m 15s
test Build F* (Windows) #104: Commit 94cf4a4 pushed by mtzguido
38m 32s windows
windows
38m 32s
test Build F* (Windows) #103: Commit f4ccb3f pushed by mtzguido
6m 53s windows
windows
6m 53s
test Build F* (Windows) #102: Commit dc2697b pushed by mtzguido
5m 50s windows
windows
5m 50s
test Build F* (Windows) #101: Commit 19578b2 pushed by mtzguido
5m 48s windows
windows
5m 48s
test Build F* (Windows) #100: Commit 9f43808 pushed by mtzguido
1m 59s windows
windows
1m 59s
test Build F* (Windows) #99: Commit 193794b pushed by mtzguido
2m 3s windows
windows
2m 3s