Skip to content

Actions: Tianshi-Xu/tainverify_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
lakefile: bump Lean elaboration stack to 1GB for deep gpt2 graph node… Lean Action CI #172: Commit f646343 pushed by Tianshi-Xu
10s decycle-and-pattern_126-2026-05-24
decycle-and-pattern_126-2026-05-24
10s
. Lean Action CI #171: Commit f73ec73 pushed by Tianshi-Xu
18s main
main
18s
Lean Action CI Lean Action CI #170: by subfish-zhou
31s proof/pattern_47
proof/pattern_47
31s
Lean Action CI Lean Action CI #169: by subfish-zhou
31s proof/pattern_52
proof/pattern_52
31s
Lean Action CI Lean Action CI #168: by subfish-zhou
16s proof/pattern_69
proof/pattern_69
16s
Lean Action CI Lean Action CI #167: by subfish-zhou
34s proof/pattern_32
proof/pattern_32
34s
Lean Action CI Lean Action CI #166: by subfish-zhou
19s proof/pattern_42
proof/pattern_42
19s
Lean Action CI Lean Action CI #165: by subfish-zhou
29s proof/pattern_29
proof/pattern_29
29s
Lean Action CI Lean Action CI #164: by subfish-zhou
38s proof/pattern_141
proof/pattern_141
38s
Lean Action CI Lean Action CI #163: by subfish-zhou
29s proof/pattern_77
proof/pattern_77
29s
Lean Action CI Lean Action CI #162: by subfish-zhou
25s proof/pattern_74
proof/pattern_74
25s
Lean Action CI Lean Action CI #161: by subfish-zhou
14s proof/pattern_7
proof/pattern_7
14s
Lean Action CI Lean Action CI #160: by subfish-zhou
23s proof/pattern_140
proof/pattern_140
23s
Lean Action CI Lean Action CI #159: by subfish-zhou
35s proof/pattern_117
proof/pattern_117
35s
Lean Action CI Lean Action CI #158: by subfish-zhou
31s proof/pattern_87
proof/pattern_87
31s
Lean Action CI Lean Action CI #157: by subfish-zhou
19s proof/pattern_94
proof/pattern_94
19s
Lean Action CI Lean Action CI #156: by subfish-zhou
28s proof/pattern_93
proof/pattern_93
28s
Lean Action CI Lean Action CI #155: by subfish-zhou
15s proof/pattern_6
proof/pattern_6
15s
Lean Action CI Lean Action CI #154: by subfish-zhou
30s proof/pattern_131
proof/pattern_131
30s
Lean Action CI Lean Action CI #153: by subfish-zhou
33s proof/pattern_73
proof/pattern_73
33s
Lean Action CI Lean Action CI #152: by subfish-zhou
11s proof/pattern_51
proof/pattern_51
11s
Lean Action CI Lean Action CI #151: by subfish-zhou
32s proof/pattern_90
proof/pattern_90
32s
Lean Action CI Lean Action CI #150: by subfish-zhou
33s proof/pattern_35
proof/pattern_35
33s
Lean Action CI Lean Action CI #149: by subfish-zhou
39s proof/pattern_9
proof/pattern_9
39s
Lean Action CI Lean Action CI #148: by subfish-zhou
29s proof/pattern_128
proof/pattern_128
29s