Skip to content

Actions: FStarLang/FStar

Actions

Check world (test F* + all subprojects)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-world.yml
69 workflow runs
69 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) #19: Manually run by mtzguido
September 5, 2024 15:47 11m 51s master
master
September 5, 2024 15:47 11m 51s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #18: Manually run by mtzguido
September 5, 2024 08:54 1h 8m 21s _guidotest
_guidotest
September 5, 2024 08:54 1h 8m 21s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #17: Manually run by mtzguido
September 5, 2024 07:25 1h 7m 53s master
master
September 5, 2024 07:25 1h 7m 53s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #16: Manually run by nikswamy
September 5, 2024 05:22 1h 22m 40s nik_context_pruning
nik_context_pruning
September 5, 2024 05:22 1h 22m 40s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #15: Manually run by nikswamy
September 5, 2024 05:02 18m 19s nik_context_pruning
nik_context_pruning
September 5, 2024 05:02 18m 19s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #14: Manually run by mtzguido
September 5, 2024 04:37 37m 43s _guidotest
_guidotest
September 5, 2024 04:37 37m 43s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #13: Manually run by mtzguido
September 5, 2024 04:10 9m 18s _guidotest
_guidotest
September 5, 2024 04:10 9m 18s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #12: Manually run by mtzguido
September 5, 2024 03:41 26m 23s _guidotest
_guidotest
September 5, 2024 03:41 26m 23s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #11: Manually run by mtzguido
September 5, 2024 03:25 16m 15s _guidotest
_guidotest
September 5, 2024 03:25 16m 15s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #10: Manually run by mtzguido
September 5, 2024 03:24 Startup failure _guidotest
_guidotest
September 5, 2024 03:24 Startup failure
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #9: Manually run by mtzguido
September 5, 2024 02:36 47m 54s master
master
September 5, 2024 02:36 47m 54s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #8: Manually run by mtzguido
September 4, 2024 23:55 1h 10m 3s guido_shortcircuit
guido_shortcircuit
September 4, 2024 23:55 1h 10m 3s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #7: Manually run by mtzguido
September 4, 2024 22:55 15m 10s master
master
September 4, 2024 22:55 15m 10s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #6: Manually run by nikswamy
September 4, 2024 21:46 1h 22m 51s nik_context_pruning
nik_context_pruning
September 4, 2024 21:46 1h 22m 51s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #5: Manually run by nikswamy
September 4, 2024 20:37 1h 7m 34s nik_fix_retain_assumptions
nik_fix_retain_assumptions
September 4, 2024 20:37 1h 7m 34s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #4: Manually run by nikswamy
September 4, 2024 16:57 1h 8m 10s nik_fix_retain_assumptions
nik_fix_retain_assumptions
September 4, 2024 16:57 1h 8m 10s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #3: Manually run by mtzguido
September 4, 2024 15:42 1h 7m 25s gebner_parens
gebner_parens
September 4, 2024 15:42 1h 7m 25s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #2: Manually run by nikswamy
September 3, 2024 20:35 1h 16m 38s nik_context_pruning
nik_context_pruning
September 3, 2024 20:35 1h 16m 38s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #1: Manually run by mtzguido
September 3, 2024 19:21 1h 7m 40s _inline_test
_inline_test
September 3, 2024 19:21 1h 7m 40s