Skip to content

Actions: lengyijun/collatz_function

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cases => match Lean Action CI #94: Commit 5ee8cf5 pushed by lengyijun
1m 8s 8_9
8_9
1m 8s
cases => match Lean Action CI #93: Commit c5f87ce pushed by lengyijun
1m 7s 8_9
8_9
1m 7s
cases => match Lean Action CI #92: Commit 2774185 pushed by lengyijun
1m 9s 8_9
8_9
1m 9s
cases => match Lean Action CI #91: Commit bdccd18 pushed by lengyijun
1m 5s 8_9
8_9
1m 5s
cases => match Lean Action CI #90: Commit 3ad9c11 pushed by lengyijun
1m 11s 8_9
8_9
1m 11s
cases => match Lean Action CI #89: Commit 54f324b pushed by lengyijun
1m 17s 8_9
8_9
1m 17s
style Lean Action CI #88: Commit 6dd20cc pushed by lengyijun
1m 26s 9_10
9_10
1m 26s
better Lean Action CI #87: Commit e5c6965 pushed by lengyijun
1m 11s 9_10
9_10
1m 11s
F_collatz Lean Action CI #86: Commit 8e9507e pushed by lengyijun
1m 37s 9_10
9_10
1m 37s
odd, even Lean Action CI #85: Commit c6c82b3 pushed by lengyijun
1m 29s 9_10
9_10
1m 29s
odd, even Lean Action CI #84: Commit 535ef6e pushed by lengyijun
1m 14s 9_10
9_10
1m 14s
G_to_J Lean Action CI #83: Commit 0ecdc36 pushed by lengyijun
1m 55s 9_10
9_10
1m 55s
cleaner proof Lean Action CI #82: Commit 56deceb pushed by lengyijun
1m 31s 8_9
8_9
1m 31s
16 stmt => 15 stmt Lean Action CI #81: Commit 6a3d13e pushed by lengyijun
1m 12s 8_9
8_9
1m 12s
16 stmt => 15 stmt Lean Action CI #80: Commit c04c405 pushed by lengyijun
1m 10s 8_9
8_9
1m 10s
16 stmt => 15 stmt Lean Action CI #79: Commit 8c0eb50 pushed by lengyijun
1m 9s 8_9
8_9
1m 9s
16 stmt => 15 stmt Lean Action CI #78: Commit aa94f9e pushed by lengyijun
1m 10s 8_9
8_9
1m 10s
16 stmt => 15 stmt Lean Action CI #77: Commit 1605e24 pushed by lengyijun
1m 35s 8_9
8_9
1m 35s
16 stmt => 15 stmt Lean Action CI #76: Commit c7ec4bd pushed by lengyijun
1m 29s 8_9
8_9
1m 29s
16 stmt => 15 stmt Lean Action CI #75: Commit 617111b pushed by lengyijun
1m 9s 8_9
8_9
1m 9s
16 stmt => 15 stmt Lean Action CI #74: Commit 2ea7402 pushed by lengyijun
1m 19s 8_9
8_9
1m 19s
add pdf Lean Action CI #73: Commit 2a70a8c pushed by lengyijun
1m 18s 8_9
8_9
1m 18s
add pdf Lean Action CI #72: Commit 26630e8 pushed by lengyijun
1m 9s 8_9
8_9
1m 9s
add pdf Lean Action CI #71: Commit 7d6fa72 pushed by lengyijun
1m 22s 8_9
8_9
1m 22s
fadsf Lean Action CI #70: Commit d2fae5a pushed by lengyijun
1m 31s 8_9
8_9
1m 31s