Skip to content

Actions: SamuelSchlesinger/complexitylib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
834 workflow runs
834 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
Merge remote-tracking branch 'origin/dev' into dev Lean Action CI #566: Commit 3f4b5fe pushed by SamuelSchlesinger
In progress dev
dev
In progress
Merge remote-tracking branch 'origin/dev' into dev API Documentation and Blueprint #293: Commit 3f4b5fe pushed by SamuelSchlesinger
In progress dev
dev
In progress
feat(matmul): add exploratory probe accounting for Tripartite API Documentation and Blueprint #292: Commit a0993e7 pushed by SamuelSchlesinger
1h 35m 54s dev
dev
1h 35m 54s
feat(matmul): add exploratory probe accounting for Tripartite Lean Action CI #565: Commit a0993e7 pushed by SamuelSchlesinger
4m 6s dev
dev
4m 6s
fix(MatMul): integrate Jacobian bounds with upstream corollaries API Documentation and Blueprint #291: Commit b030149 pushed by SamuelSchlesinger
1h 0m 41s dev
dev
1h 0m 41s
fix(MatMul): integrate Jacobian bounds with upstream corollaries Lean Action CI #564: Commit b030149 pushed by SamuelSchlesinger
4m 4s dev
dev
4m 4s
chore(algebraic): address merge review of the lower-bound branch Lean Action CI #563: Commit cfc28aa pushed by SamuelSchlesinger
7m 59s dev
dev
7m 59s
chore(algebraic): address merge review of the lower-bound branch API Documentation and Blueprint #290: Commit cfc28aa pushed by SamuelSchlesinger
9m 6s dev
dev
9m 6s
docs(research): mark the ε-halver bound as formalized Lean Action CI #562: Commit f49f9de pushed by SamuelSchlesinger
3m 28s dev
dev
3m 28s
docs(research): mark the ε-halver bound as formalized API Documentation and Blueprint #289: Commit f49f9de pushed by SamuelSchlesinger
1h 22m 3s dev
dev
1h 22m 3s
docs(blueprint): add the negation-limited matrix product bounds Lean Action CI #561: Commit a3ef0f8 pushed by SamuelSchlesinger
7m 35s dev
dev
7m 35s
docs(blueprint): add the negation-limited matrix product bounds API Documentation and Blueprint #288: Commit a3ef0f8 pushed by SamuelSchlesinger
26m 3s dev
dev
26m 3s
chore(AxiomGuard): index the GF(2^n) conjunction bound Lean Action CI #560: Commit 81710d6 pushed by SamuelSchlesinger
3m 39s dev
dev
3m 39s
chore(AxiomGuard): index the GF(2^n) conjunction bound API Documentation and Blueprint #287: Commit 81710d6 pushed by SamuelSchlesinger
9m 33s dev
dev
9m 33s
feat(Concentrator): bound acyclic concentrators by 2n + (kappa - 1) m… Lean Action CI #559: Commit b066876 pushed by SamuelSchlesinger
4m 40s dev
dev
4m 40s
feat(Concentrator): bound acyclic concentrators by 2n + (kappa - 1) m… API Documentation and Blueprint #286: Commit b066876 pushed by SamuelSchlesinger
19m 7s dev
dev
19m 7s
chore(AxiomGuard): drop a stale CLIQUE index comment Lean Action CI #558: Commit 0d0be91 pushed by SamuelSchlesinger
3m 17s dev
dev
3m 17s
chore(AxiomGuard): drop a stale CLIQUE index comment API Documentation and Blueprint #285: Commit 0d0be91 pushed by SamuelSchlesinger
1h 49m 24s dev
dev
1h 49m 24s
feat(Algebraic): prove monotone Boolean matrix product needs IJK AND … API Documentation and Blueprint #284: Commit 975dace pushed by SamuelSchlesinger
1h 3m 11s dev
dev
1h 3m 11s
feat(Algebraic): prove monotone Boolean matrix product needs IJK AND … Lean Action CI #557: Commit 975dace pushed by SamuelSchlesinger
3m 14s dev
dev
3m 14s
feat(Frontier): sync the frontier method at d81d97a API Documentation and Blueprint #283: Commit 5d13998 pushed by SamuelSchlesinger
53m 46s dev
dev
53m 46s
feat(Frontier): sync the frontier method at d81d97a Lean Action CI #556: Commit 5d13998 pushed by SamuelSchlesinger
5m 3s dev
dev
5m 3s
API Documentation and Blueprint API Documentation and Blueprint #282: Scheduled
54m 0s dev
dev
54m 0s
Merge pull request #71 from SamuelSchlesinger/feat/actual-pair-entrop… Lean Action CI #555: Commit 86de93e pushed by SamuelSchlesinger
11m 12s dev
dev
11m 12s
Merge pull request #71 from SamuelSchlesinger/feat/actual-pair-entrop… API Documentation and Blueprint #281: Commit 86de93e pushed by SamuelSchlesinger
1h 47m 59s dev
dev
1h 47m 59s