Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
333 workflow runs
333 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
... Lean Action CI #57: Commit 06649a4 pushed by goliath-klein
4s master
master
4s
blockDiagonal cleanup Lean Action CI #56: Commit 3220f82 pushed by goliath-klein
4s master
master
4s
Swap Lean Action CI #55: Commit 322aee7 pushed by PrParadoxy
16m 0s master
master
16m 0s
controllize init Lean Action CI #54: Commit e4d9931 pushed by PrParadoxy
17m 39s master
master
17m 39s
moved lemmas Lean Action CI #53: Commit 1b6ef57 pushed by goliath-klein
2m 0s master
master
2m 0s
blockdiagonal monoidHom Lean Action CI #52: Commit a4917ff pushed by PrParadoxy
14m 57s master
master
14m 57s
removed diagonalSubgroup Lean Action CI #51: Commit 28af848 pushed by goliath-klein
16m 46s master
master
16m 46s
removed diagonalSubgroup Lean Action CI #50: Commit 28af848 pushed by goliath-klein
15m 22s rem_diagonalSubgroup
rem_diagonalSubgroup
15m 22s
... Lean Action CI #49: Commit af48311 pushed by goliath-klein
16m 13s master
master
16m 13s
diagonal note Lean Action CI #48: Commit e7102b2 pushed by goliath-klein
16m 22s master
master
16m 22s
define unitary outer product instance directly Lean Action CI #47: Commit 9a8917b pushed by goliath-klein
15m 10s master
master
15m 10s
globs Lean Action CI #46: Commit 49edd8a pushed by goliath-klein
14m 28s master
master
14m 28s
import minimized Lean Action CI #45: Commit a51b229 pushed by PrParadoxy
15m 18s master
master
15m 18s
. Lean Action CI #44: Commit 46757f0 pushed by PrParadoxy
17m 10s master
master
17m 10s
fixing imports / using lake globs Lean Action CI #43: Commit d68b7ff pushed by PrParadoxy
3m 31s master
master
3m 31s
reorg Lean Action CI #42: Commit 1aae225 pushed by goliath-klein
3m 0s master
master
3m 0s
Permutation Lean Action CI #41: Commit 80f4f6e pushed by goliath-klein
1h 7m 53s master
master
1h 7m 53s
matrixlike Lean Action CI #40: Commit b94936c pushed by goliath-klein
1h 5m 12s master
master
1h 5m 12s
equiv Lean Action CI #39: Commit 1466e56 pushed by goliath-klein
56m 41s master
master
56m 41s
import minimized Lean Action CI #38: Commit 3f7bd01 pushed by PrParadoxy
1h 1m 21s master
master
1h 1m 21s
notation fix Lean Action CI #37: Commit 110cfd5 pushed by PrParadoxy
1h 0m 20s master
master
1h 0m 20s
revswap Lean Action CI #36: Commit 34d2f1d pushed by goliath-klein
1h 3m 1s master
master
1h 3m 1s
imports Lean Action CI #35: Commit 8610d27 pushed by goliath-klein
1h 0m 49s master
master
1h 0m 49s
... Lean Action CI #34: Commit 7782a87 pushed by goliath-klein
52m 32s master
master
52m 32s
... Lean Action CI #33: Commit 76bd2b5 pushed by goliath-klein
59m 33s master
master
59m 33s
ProTip! You can narrow down the results and go further in time using created:<2026-06-06 or the other filters available.