Skip to content

Actions: FStarLang/FStar

Actions

Build F* (Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GITHUB_WORKSPACE? Build F* (Windows) #10: Commit 46e20e6 pushed by mtzguido
January 6, 2025 17:36 18m 37s guido_w
guido_w
January 6, 2025 17:36 18m 37s
debugging Build F* (Windows) #9: Commit 192cc2c pushed by mtzguido
January 6, 2025 17:32 14m 58s guido_w
guido_w
January 6, 2025 17:32 14m 58s
? Build F* (Windows) #8: Commit 9d56d12 pushed by mtzguido
January 6, 2025 17:24 6m 51s guido_w
guido_w
January 6, 2025 17:24 6m 51s
windows build? Build F* (Windows) #7: Commit b24bac1 pushed by mtzguido
January 6, 2025 17:06 7m 24s guido_w
guido_w
January 6, 2025 17:06 7m 24s
? Build F* (Windows) #6: Commit 98f3175 pushed by mtzguido
January 6, 2025 16:49 7m 2s guido_w
guido_w
January 6, 2025 16:49 7m 2s
upd Build F* (Windows) #5: Commit 27c231c pushed by mtzguido
January 6, 2025 16:36 7m 2s guido_w
guido_w
January 6, 2025 16:36 7m 2s
windows cloud build? Build F* (Windows) #4: Commit b4f1974 pushed by mtzguido
January 6, 2025 16:23 7m 2s guido_w
guido_w
January 6, 2025 16:23 7m 2s
Build F* (Windows) Build F* (Windows) #3: by mtzguido
January 5, 2025 23:56 7m 8s guido_w
guido_w
January 5, 2025 23:56 7m 8s
Update build-windows.yml Build F* (Windows) #2: Commit cf5d64e pushed by mtzguido
January 5, 2025 23:48 7m 4s guido_w
guido_w
January 5, 2025 23:48 7m 4s
windows cloud build? Build F* (Windows) #1: Commit 04187ae pushed by mtzguido
January 5, 2025 23:39 7m 17s guido_w
guido_w
January 5, 2025 23:39 7m 17s