Skip to content

Actions: zbrachinara/nptetris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix broken readme link Lean Action CI #12: Commit d49c228 pushed by zbrachinara
December 19, 2024 14:18 1m 36s master
master
December 19, 2024 14:18 1m 36s
more machine parts Lean Action CI #11: Commit 4f1e28e pushed by zbrachinara
December 14, 2024 00:39 1m 59s master
master
December 14, 2024 00:39 1m 59s
enhanced max_height and min_height Lean Action CI #10: Commit da0560e pushed by zbrachinara
November 30, 2024 20:42 1m 30s master
master
November 30, 2024 20:42 1m 30s
rewrite rotation preserves norm one Lean Action CI #9: Commit e0f2daf pushed by zbrachinara
November 30, 2024 01:11 1m 31s master
master
November 30, 2024 01:11 1m 31s
prove ndpa state is finite Lean Action CI #8: Commit 19ff6d9 pushed by zbrachinara
November 29, 2024 00:55 1m 53s master
master
November 29, 2024 00:55 1m 53s
begin defining solution ndpa for two-column Lean Action CI #7: Commit 0dc43fc pushed by zbrachinara
November 27, 2024 21:45 1m 32s master
master
November 27, 2024 21:45 1m 32s
ndpa accepts epsilon transitions Lean Action CI #6: Commit ead06b9 pushed by zbrachinara
November 27, 2024 15:55 1m 30s master
master
November 27, 2024 15:55 1m 30s
first attempt at defining three partition problem Lean Action CI #5: Commit 9ef8f9e pushed by zbrachinara
November 24, 2024 03:41 2m 23s master
master
November 24, 2024 03:41 2m 23s
add more conditions to piece locking Lean Action CI #4: Commit da22932 pushed by zbrachinara
November 23, 2024 17:37 2m 22s master
master
November 23, 2024 17:37 2m 22s
add info to readme Lean Action CI #3: Commit 309d03c pushed by zbrachinara
November 22, 2024 16:40 1m 36s master
master
November 22, 2024 16:40 1m 36s
extend mino definitions Lean Action CI #2: Commit 9f6e1b3 pushed by zbrachinara
November 22, 2024 00:48 1m 32s master
master
November 22, 2024 00:48 1m 32s
add license Lean Action CI #1: Commit 45e85e4 pushed by zbrachinara
November 20, 2024 19:05 2m 4s master
master
November 20, 2024 19:05 2m 4s