Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow run results
17 workflow run results

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
SMul instance for diagonalSubgroup Lean Action CI #16: Commit 958ca90 pushed by PrParadoxy
49m 32s master
master
49m 32s
docs Lean Action CI #15: Commit 7cd2182 pushed by PrParadoxy
47m 11s master
master
47m 11s
matrix_neq Lean Action CI #14: Commit 2293b94 pushed by PrParadoxy
47m 40s master
master
47m 40s
matrix_expand Lean Action CI #13: Commit d66c906 pushed by PrParadoxy
49m 17s master
master
49m 17s
dead ends Lean Action CI #12: Commit bf8a754 pushed by goliath-klein
47m 19s master
master
47m 19s
diagonal subgroup / moved files Lean Action CI #11: Commit 8c5bd72 pushed by goliath-klein
1m 59s master
master
1m 59s
minimizing apply lemmas Lean Action CI #10: Commit 5f0d815 pushed by PrParadoxy
49m 4s master
master
49m 4s
Merge branch 'master' of https://github.com/QuCompLean/QCLib Lean Action CI #9: Commit 6e277b3 pushed by PrParadoxy
47m 1s master
master
47m 1s
license Lean Action CI #8: Commit c3428e1 pushed by goliath-klein
47m 33s master
master
47m 33s
move namspace matrix Lean Action CI #7: Commit a5e30b8 pushed by goliath-klein
48m 10s master
master
48m 10s
formatting Lean Action CI #6: Commit f0ea424 pushed by goliath-klein
42m 41s master
master
42m 41s
OuterProduct/UnitaryGroup; moved Mathlib folder Lean Action CI #5: Commit b749781 pushed by goliath-klein
49m 1s master
master
49m 1s
backward.isDefEq note Lean Action CI #4: Commit c4c23d4 pushed by goliath-klein
4m 35s master
master
4m 35s
Docstring Lean Action CI #3: Commit c9e41d8 pushed by goliath-klein
2m 28s master
master
2m 28s
PiOuterProduct Lean Action CI #2: Commit dceb21c pushed by goliath-klein
2m 27s master
master
2m 27s
Initial commit Lean Action CI #1: Commit 8ef5c3a pushed by goliath-klein
14m 55s master
master
14m 55s
Initial commit Create Release #1: Commit 8ef5c3a pushed by goliath-klein
10s master
master
10s