Skip to content

Actions: SamuelSchlesinger/complexitylib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
508 workflow runs
508 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
feat(PH): the Sipser-Lautemann theorem Lean Action CI #358: Pull request #29 opened by BoltonBailey
3m 31s BoltonBailey:feat/sipser-lautemann
BoltonBailey:feat/sipser-lautemann
3m 31s
feat(Classes): define the polynomial hierarchy Lean Action CI #357: Pull request #18 synchronize by BoltonBailey
3m 59s BoltonBailey:feat/polynomial-hierarchy
BoltonBailey:feat/polynomial-hierarchy
3m 59s
feat(PH): the polynomial hierarchy and the Sipser-Lautemann theorem Lean Action CI #356: Pull request #28 opened by BoltonBailey
5m 17s BoltonBailey:boltonbailey-dev
BoltonBailey:boltonbailey-dev
5m 17s
Merge pull request #21 from BoltonBailey/feat/bitstring-encoding API Documentation #175: Commit b673821 pushed by BoltonBailey
55m 33s dev
dev
55m 33s
Merge pull request #21 from BoltonBailey/feat/bitstring-encoding Lean Action CI #355: Commit b673821 pushed by BoltonBailey
31m 19s dev
dev
31m 19s
API Documentation API Documentation #174: Scheduled
1h 19m 34s dev
dev
1h 19m 34s
feat(circuits): tighten iterated switching union bound to gate count Lean Action CI #354: Pull request #27 opened by SamuelSchlesinger
32m 6s samschles/iterated-switching-gate-count
samschles/iterated-switching-gate-count
32m 6s
feat(circuits): tighten iterated switching union bound to gate count Lean Action CI #353: Commit e8824b2 pushed by SamuelSchlesinger
29m 48s samschles/iterated-switching-gate-count
samschles/iterated-switching-gate-count
29m 48s
feat(Classes): define the polynomial hierarchy Lean Action CI #352: Pull request #18 synchronize by BoltonBailey
3m 10s BoltonBailey:feat/polynomial-hierarchy
BoltonBailey:feat/polynomial-hierarchy
3m 10s
feat: Bitstring encodings Lean Action CI #351: Pull request #21 synchronize by BoltonBailey
3m 27s BoltonBailey:feat/bitstring-encoding
BoltonBailey:feat/bitstring-encoding
3m 27s
feat(Classes): define the polynomial hierarchy Lean Action CI #350: Pull request #18 synchronize by BoltonBailey
9m 4s BoltonBailey:feat/polynomial-hierarchy
BoltonBailey:feat/polynomial-hierarchy
9m 4s
feat: Bitstring encodings Lean Action CI #349: Pull request #21 synchronize by BoltonBailey
7m 44s BoltonBailey:feat/bitstring-encoding
BoltonBailey:feat/bitstring-encoding
7m 44s
Merge pull request #25 from BoltonBailey/refactor/rose-tree-encoding-… Lean Action CI #348: Commit 33d82e3 pushed by SamuelSchlesinger
3m 34s dev
dev
3m 34s
Merge pull request #25 from BoltonBailey/refactor/rose-tree-encoding-… API Documentation #173: Commit 33d82e3 pushed by SamuelSchlesinger
54m 22s dev
dev
54m 22s
Merge pull request #26 from SamuelSchlesinger/samschles/slurping-fabl… Lean Action CI #347: Commit 62813dd pushed by SamuelSchlesinger
28m 10s dev
dev
28m 10s
Merge pull request #26 from SamuelSchlesinger/samschles/slurping-fabl… API Documentation #172: Commit 62813dd pushed by SamuelSchlesinger
1h 19m 43s dev
dev
1h 19m 43s
Various NP/coNP Things Lean Action CI #346: Pull request #26 opened by SamuelSchlesinger
28m 31s samschles/slurping-fable-credits
samschles/slurping-fable-credits
28m 31s
feat(classes): NP and coNP are closed under Karp reductions Lean Action CI #345: Commit 61e6e27 pushed by SamuelSchlesinger
25m 26s samschles/slurping-fable-credits
samschles/slurping-fable-credits
25m 26s
Merge pull request #24 from SamuelSchlesinger/agent/cobham-fp-audit-f… Lean Action CI #344: Commit 484c4fe pushed by SamuelSchlesinger
31m 40s dev
dev
31m 40s
Merge pull request #24 from SamuelSchlesinger/agent/cobham-fp-audit-f… API Documentation #171: Commit 484c4fe pushed by SamuelSchlesinger
1h 6m 1s dev
dev
1h 6m 1s
feat(Classes): define the polynomial hierarchy Lean Action CI #343: Pull request #18 synchronize by BoltonBailey
3m 16s BoltonBailey:feat/polynomial-hierarchy
BoltonBailey:feat/polynomial-hierarchy
3m 16s
feat: Bitstring encodings Lean Action CI #342: Pull request #21 synchronize by BoltonBailey
3m 13s BoltonBailey:feat/bitstring-encoding
BoltonBailey:feat/bitstring-encoding
3m 13s
refactor(Encoding): move the rose-tree Data type into the encoding layer Lean Action CI #341: Pull request #25 synchronize by BoltonBailey
2m 49s BoltonBailey:refactor/rose-tree-encoding-move
BoltonBailey:refactor/rose-tree-encoding-move
2m 49s
feat(Classes): define the polynomial hierarchy Lean Action CI #340: Pull request #18 synchronize by BoltonBailey
7m 17s BoltonBailey:feat/polynomial-hierarchy
BoltonBailey:feat/polynomial-hierarchy
7m 17s
feat: Bitstring encodings Lean Action CI #339: Pull request #21 synchronize by BoltonBailey
8m 21s BoltonBailey:feat/bitstring-encoding
BoltonBailey:feat/bitstring-encoding
8m 21s