Skip to content

Actions: mtzguido/FStar

Actions

Build F* binaries (all archs)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-all.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build F* binaries (all archs) Build F* binaries (all archs) #35: Manually run by mtzguido
37m 40s win
win
37m 40s
Build F* binaries (all archs) Build F* binaries (all archs) #34: Manually run by mtzguido
4m 42s testw
testw
4m 42s
sigh Build F* binaries (all archs) #33: Commit 9fcb54b pushed by mtzguido
20m 20s ww
ww
20m 20s
windows workflow test Build F* binaries (all archs) #32: Commit a7aedb6 pushed by mtzguido
32m 54s ww
ww
32m 54s
test Build F* binaries (all archs) #31: Commit 55e80f1 pushed by mtzguido
32m 54s master
master
32m 54s
Revert "testing optional windows build" Build F* binaries (all archs) #30: Commit a36ac59 pushed by mtzguido
33m 10s ww
ww
33m 10s
testing optional windows build Build F* binaries (all archs) #29: Commit 9f4c0ab pushed by mtzguido
1s ww
ww
1s
blasting a bunch of builds Build F* binaries (all archs) #28: Commit d376aad pushed by mtzguido
6h 11m 47s master
master
6h 11m 47s
blasting a bunch of builds Build F* binaries (all archs) #27: Commit 83353e7 pushed by mtzguido
6h 11m 31s ww
ww
6h 11m 31s
testing windows Build F* binaries (all archs) #26: Commit ebb25c2 pushed by mtzguido
6h 11m 34s master
master
6h 11m 34s
newlines, wow Build F* binaries (all archs) #25: Commit 5605b9a pushed by mtzguido
6h 12m 13s ww
ww
6h 12m 13s
be safe Build F* binaries (all archs) #24: Commit a7e0d64 pushed by mtzguido
16m 22s ww
ww
16m 22s
dbg Build F* binaries (all archs) #23: Commit b2aefc2 pushed by mtzguido
33m 4s ww
ww
33m 4s
WIP: windows build workflow Build F* binaries (all archs) #22: Commit f4f0c76 pushed by mtzguido
32m 45s ww
ww
32m 45s
fix Build F* binaries (all archs) #21: Commit aa45879 pushed by mtzguido
1h 5m 26s ww
ww
1h 5m 26s
fix Build F* binaries (all archs) #20: Commit 9c65e84 pushed by mtzguido
32m 30s ww
ww
32m 30s
hmm Build F* binaries (all archs) #19: Commit 72df64f pushed by mtzguido
33m 35s ww
ww
33m 35s
WIP: windows build workflow Build F* binaries (all archs) #18: Commit 58800d4 pushed by mtzguido
3h 19m 49s ww
ww
3h 19m 49s
WIP: windows build workflow Build F* binaries (all archs) #17: Commit 84f9767 pushed by mtzguido
1m 48s ww
ww
1m 48s
hm Build F* binaries (all archs) #16: Commit 72bf098 pushed by mtzguido
34m 18s ww
ww
34m 18s
dbg Build F* binaries (all archs) #15: Commit 08e59d6 pushed by mtzguido
33m 31s ww
ww
33m 31s
debugging Build F* binaries (all archs) #14: Commit e915a82 pushed by mtzguido
1h 9m 24s ww
ww
1h 9m 24s
source package: ship winwrap.sh, pass FSTAR_ROOT to lib.mk Build F* binaries (all archs) #13: Commit befd565 pushed by mtzguido
1h 54m 22s ww
ww
1h 54m 22s
source package: ship winwrap.sh, pass FSTAR_ROOT to lib.mk Build F* binaries (all archs) #12: Commit f5aba72 pushed by mtzguido
11m 12s ww
ww
11m 12s
try Build F* binaries (all archs) #11: Commit 323b29b pushed by mtzguido
22m 9s ww
ww
22m 9s