Skip to content

Actions: briangmilnes/FStar-1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check world (test F* + all subprojects) Check world (test F* + all subprojects) #6: Scheduled
February 5, 2025 01:32 2h 22m 32s master
master
February 5, 2025 01:32 2h 22m 32s
F* nightly build F* nightly build #6: Scheduled
February 5, 2025 00:23 1d 1h 54m 43s master
master
February 5, 2025 00:23 1d 1h 54m 43s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #5: Scheduled
February 4, 2025 01:32 2h 36m 15s master
master
February 4, 2025 01:32 2h 36m 15s
F* nightly build F* nightly build #5: Scheduled
February 4, 2025 00:22 1d 1h 55m 0s master
master
February 4, 2025 00:22 1d 1h 55m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #4: Scheduled
February 3, 2025 01:32 2h 37m 6s master
master
February 3, 2025 01:32 2h 37m 6s
F* nightly build F* nightly build #4: Scheduled
February 3, 2025 00:23 1d 1h 54m 14s master
master
February 3, 2025 00:23 1d 1h 54m 14s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #3: Scheduled
February 2, 2025 01:32 2h 35m 50s master
master
February 2, 2025 01:32 2h 35m 50s
F* nightly build F* nightly build #3: Scheduled
February 2, 2025 00:24 1d 1h 53m 31s master
master
February 2, 2025 00:24 1d 1h 53m 31s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #2: Scheduled
February 1, 2025 01:32 2h 34m 47s master
master
February 1, 2025 01:32 2h 34m 47s
F* nightly build F* nightly build #2: Scheduled
February 1, 2025 00:24 1d 1h 53m 0s master
master
February 1, 2025 00:24 1d 1h 53m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #1: Scheduled
January 31, 2025 01:32 2h 21m 50s master
master
January 31, 2025 01:32 2h 21m 50s
F* nightly build F* nightly build #1: Scheduled
January 31, 2025 00:22 1d 1h 54m 59s master
master
January 31, 2025 00:22 1d 1h 54m 59s
Merge pull request #3701 from mtzguido/misc CI #2: Commit 17a61dc pushed by briangmilnes
January 30, 2025 03:39 46m 12s master
master
January 30, 2025 03:39 46m 12s
Merge branch 'master' into milnes-sigmapi CI #1: Commit 50ba458 pushed by briangmilnes
January 20, 2025 19:35 46m 43s milnes-sigmapi
milnes-sigmapi
January 20, 2025 19:35 46m 43s