Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 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
permutation fixed Lean Action CI #282: Commit d91d760 pushed by PrParadoxy
1m 54s EuclideanSpace
EuclideanSpace
1m 54s
qubit file fixed Lean Action CI #281: Commit debaf43 pushed by PrParadoxy
1m 28s EuclideanSpace
EuclideanSpace
1m 28s
piOuterProduct_ofLp_apply Lean Action CI #280: Commit 20af8f3 pushed by PrParadoxy
2m 5s EuclideanSpace
EuclideanSpace
2m 5s
smul_euclidean_vec_coe Lean Action CI #279: Commit b9f5a10 pushed by PrParadoxy
1m 49s EuclideanSpace
EuclideanSpace
1m 49s
Merge branch 'EuclideanSpace' of https://github.com/QuCompLean/QCLib … Lean Action CI #278: Commit 60e16ea pushed by PrParadoxy
1m 40s EuclideanSpace
EuclideanSpace
1m 40s
roll back changes that should have gone to other branch Lean Action CI #277: Commit 0140626 pushed by goliath-klein
10m 50s master
master
10m 50s
testing Lean Action CI #276: Commit 1c79ae4 pushed by goliath-klein
1m 45s EuclideanSpace
EuclideanSpace
1m 45s
issue? Lean Action CI #275: Commit 91e2c4a pushed by PrParadoxy
1m 6s EuclideanSpace
EuclideanSpace
1m 6s
.. Lean Action CI #274: Commit 22ca236 pushed by goliath-klein
2m 35s master
master
2m 35s
new StdBasis Lean Action CI #273: Commit e1a9d8f pushed by PrParadoxy
2m 5s EuclideanSpace
EuclideanSpace
2m 5s
ofDigits_ofDigitsBE_rec Lean Action CI #272: Commit c5cf0b2 pushed by PrParadoxy
10m 8s EuclideanSpace
EuclideanSpace
10m 8s
readme Lean Action CI #271: Commit 5c763ab pushed by goliath-klein
11m 36s EuclideanSpace
EuclideanSpace
11m 36s
ofDigits_ofDigitsBE_rec Lean Action CI #270: Commit c5cf0b2 pushed by PrParadoxy
11m 5s master
master
11m 5s
removing extra lemmas Lean Action CI #269: Commit a816c14 pushed by PrParadoxy
11m 27s master
master
11m 27s
readme Lean Action CI #268: Commit 5c763ab pushed by goliath-klein
11m 40s master
master
11m 40s
. Lean Action CI #267: Commit d808924 pushed by PrParadoxy
11m 49s master
master
11m 49s
ofDigits_ofDigitsBE_rec Lean Action CI #266: Commit a69a10f pushed by PrParadoxy
11m 57s master
master
11m 57s
docstring Lean Action CI #265: Commit 6b9cdca pushed by goliath-klein
11m 9s master
master
11m 9s
digits module docstring Lean Action CI #264: Commit 96b3fc9 pushed by goliath-klein
11m 22s master
master
11m 22s
README Lean Action CI #263: Commit cf66f70 pushed by goliath-klein
16m 21s master
master
16m 21s
OuterProduct Lean Action CI #262: Commit cee7056 pushed by goliath-klein
17m 44s master
master
17m 44s
removed ZMod/Digits.lean for now Lean Action CI #261: Commit 94ff8b4 pushed by goliath-klein
14m 53s master
master
14m 53s
embedLeft Lean Action CI #260: Commit 7f47542 pushed by goliath-klein
17m 12s master
master
17m 12s
... Lean Action CI #259: Commit 232f915 pushed by goliath-klein
16m 34s master
master
16m 34s
doc Lean Action CI #258: Commit 4ea5a2a pushed by goliath-klein
16m 25s master
master
16m 25s