Skip to content

Actions: FStarLang/FStar

Actions

Build F* (Windows, self-hosted)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-windows-selfhosted.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

retry Build F* (Windows, self-hosted) #29: Commit 10f2abb pushed by mtzguido
January 17, 2025 00:22 17m 46s _guido_windows
_guido_windows
January 17, 2025 00:22 17m 46s
test Build F* (Windows, self-hosted) #28: Commit eee520c pushed by mtzguido
January 16, 2025 23:57 18m 52s _guido_windows
_guido_windows
January 16, 2025 23:57 18m 52s
test Build F* (Windows, self-hosted) #27: Commit b7e80f7 pushed by mtzguido
January 16, 2025 23:37 15m 42s _guido_windows
_guido_windows
January 16, 2025 23:37 15m 42s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #26: Commit 3f570df pushed by mtzguido
January 16, 2025 18:10 32s _guido_windows
_guido_windows
January 16, 2025 18:10 32s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #25: Commit a5767d5 pushed by mtzguido
January 16, 2025 17:51 16s _guido_windows
_guido_windows
January 16, 2025 17:51 16s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #24: Commit 52d2bd7 pushed by mtzguido
January 16, 2025 08:19 1h 40m 20s _guido_windows
_guido_windows
January 16, 2025 08:19 1h 40m 20s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #23: Commit bf637c2 pushed by mtzguido
January 16, 2025 07:44 3m 45s _guido_windows
_guido_windows
January 16, 2025 07:44 3m 45s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #22: Commit a2efae1 pushed by mtzguido
January 16, 2025 07:12 25m 59s _guido_windows
_guido_windows
January 16, 2025 07:12 25m 59s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #21: Commit 2472f8b pushed by mtzguido
January 16, 2025 06:43 3m 53s _guido_windows
_guido_windows
January 16, 2025 06:43 3m 53s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #20: Commit 96ea0ca pushed by mtzguido
January 16, 2025 06:03 18m 26s _guido_windows
_guido_windows
January 16, 2025 06:03 18m 26s
test Build F* (Windows, self-hosted) #19: Commit 9aafecd pushed by mtzguido
January 16, 2025 03:31 5m 38s _guido_windows
_guido_windows
January 16, 2025 03:31 5m 38s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #18: Commit fab5423 pushed by mtzguido
January 16, 2025 01:53 3m 57s _guido_windows
_guido_windows
January 16, 2025 01:53 3m 57s
test Build F* (Windows, self-hosted) #17: Commit ade8ed4 pushed by mtzguido
January 16, 2025 00:23 1h 21m 37s _guido_windows
_guido_windows
January 16, 2025 00:23 1h 21m 37s
test Build F* (Windows, self-hosted) #16: Commit 9c00792 pushed by mtzguido
January 16, 2025 00:23 1h 26m 8s _guido_windows
_guido_windows
January 16, 2025 00:23 1h 26m 8s
test Build F* (Windows, self-hosted) #15: Commit 53faaae pushed by mtzguido
January 15, 2025 23:51 16m 16s _guido_windows
_guido_windows
January 15, 2025 23:51 16m 16s
test Build F* (Windows, self-hosted) #14: Commit 1d01a3d pushed by mtzguido
January 15, 2025 23:23 16m 7s _guido_windows
_guido_windows
January 15, 2025 23:23 16m 7s
FStar_String: move to new Batteries {uppercase,lowercase}_ascii Build F* (Windows, self-hosted) #13: Commit ba34c9f pushed by mtzguido
January 15, 2025 23:03 15m 57s _guido_windows
_guido_windows
January 15, 2025 23:03 15m 57s
test Build F* (Windows, self-hosted) #12: Commit c69d9a4 pushed by mtzguido
January 15, 2025 22:36 18m 54s _guido_windows
_guido_windows
January 15, 2025 22:36 18m 54s
test Build F* (Windows, self-hosted) #11: Commit 7fd51ac pushed by mtzguido
January 15, 2025 22:19 15m 39s _guido_windows
_guido_windows
January 15, 2025 22:19 15m 39s
test Build F* (Windows, self-hosted) #10: Commit b0377e2 pushed by mtzguido
January 15, 2025 21:02 6m 50s _guido_windows
_guido_windows
January 15, 2025 21:02 6m 50s
test Build F* (Windows, self-hosted) #9: Commit d3aadfa pushed by mtzguido
January 15, 2025 20:55 6m 15s _guido_windows
_guido_windows
January 15, 2025 20:55 6m 15s
test Build F* (Windows, self-hosted) #8: Commit e7d0426 pushed by mtzguido
January 15, 2025 20:44 6m 22s _guido_windows
_guido_windows
January 15, 2025 20:44 6m 22s
test Build F* (Windows, self-hosted) #7: Commit 534d1c3 pushed by mtzguido
January 15, 2025 20:34 6m 17s _guido_windows
_guido_windows
January 15, 2025 20:34 6m 17s
test Build F* (Windows, self-hosted) #6: Commit f592867 pushed by mtzguido
January 15, 2025 19:54 6m 26s _guido_windows
_guido_windows
January 15, 2025 19:54 6m 26s
Restoring self-hosted windows build Build F* (Windows, self-hosted) #5: Commit 86e8c94 pushed by mtzguido
January 15, 2025 19:40 6m 33s _guido_windows
_guido_windows
January 15, 2025 19:40 6m 33s