Skip to content

Actions: Shreyas4991/Algolean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 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
Generic group model, discrete log algorithms (brute force and BSGS) and lower bound Lean Action CI #306: Pull request #83 opened by fharding1
Action required fharding1:fharding1/generic-group-model
fharding1:fharding1/generic-group-model
Action required
Add random sampling query models over ModelM (#81) Lean Action CI #305: Commit af6f285 pushed by Shreyas4991
16m 21s main
main
16m 21s
Add random sampling query models over ModelM (#81) Build and Deploy Documentation #19: Commit af6f285 pushed by Shreyas4991
2h 8m 21s main
main
2h 8m 21s
Add randomized quicksort and prove correctness Lean Action CI #304: Pull request #82 opened by tannerduve
13m 13s feature/random-quicksort
feature/random-quicksort
13m 13s
Add random sampling query models over ModelM Lean Action CI #303: Pull request #81 opened by tannerduve
22m 38s feature/modelm-random-sampling
feature/modelm-random-sampling
22m 38s
Add randomized quicksort and prove it sorts Lean Action CI #302: Pull request #80 opened by tannerduve
18m 21s tannerduve:feature/random-quicksort
tannerduve:feature/random-quicksort
18m 21s
Add random sampling query models over ModelM Lean Action CI #301: Pull request #79 synchronize by tannerduve
3m 6s tannerduve:feature/modelm-random-sampling
tannerduve:feature/modelm-random-sampling
3m 6s
Add random sampling query models over ModelM Lean Action CI #300: Pull request #79 synchronize by tannerduve
18m 11s tannerduve:feature/modelm-random-sampling
tannerduve:feature/modelm-random-sampling
18m 11s
Add random sampling query models over ModelM Lean Action CI #299: Pull request #79 opened by tannerduve
28m 10s tannerduve:feature/modelm-random-sampling
tannerduve:feature/modelm-random-sampling
28m 10s
Add monadic query models (#77) Lean Action CI #298: Commit cb6b436 pushed by Shreyas4991
20m 7s main
main
20m 7s
Add monadic query models (#77) Build and Deploy Documentation #18: Commit cb6b436 pushed by Shreyas4991
2h 15m 37s main
main
2h 15m 37s
Quantum query infra Lean Action CI #297: Pull request #76 synchronize by tannerduve
19m 41s quantum-query-infra
quantum-query-infra
19m 41s
Add monadic query models Lean Action CI #296: Pull request #77 synchronize by tannerduve
3m 7s tannerduve:feature/modelm-effect-semantics
tannerduve:feature/modelm-effect-semantics
3m 7s
Add relational specifications for FreeM operations Lean Action CI #295: Pull request #78 synchronize by tannerduve
3m 18s tannerduve:feature/freem-operation-specs
tannerduve:feature/freem-operation-specs
3m 18s
Add monadic query models Lean Action CI #294: Pull request #77 synchronize by tannerduve
4m 13s tannerduve:feature/modelm-effect-semantics
tannerduve:feature/modelm-effect-semantics
4m 13s
Add relational specifications for FreeM operations Lean Action CI #293: Pull request #78 opened by tannerduve
4m 33s tannerduve:feature/freem-operation-specs
tannerduve:feature/freem-operation-specs
4m 33s
Add monadic query models Lean Action CI #292: Pull request #77 opened by tannerduve
4m 21s tannerduve:feature/modelm-effect-semantics
tannerduve:feature/modelm-effect-semantics
4m 21s
Quantum query infra Lean Action CI #291: Pull request #76 synchronize by tannerduve
1m 54s quantum-query-infra
quantum-query-infra
1m 54s
Add verified Boyer-Moore majority vote (#75) Build and Deploy Documentation #17: Commit 32d7513 pushed by Shreyas4991
1h 56m 39s main
main
1h 56m 39s
Add verified Boyer-Moore majority vote (#75) Lean Action CI #290: Commit 32d7513 pushed by Shreyas4991
3m 36s main
main
3m 36s
Add verified Boyer-Moore majority vote Lean Action CI #289: Pull request #75 synchronize by tannerduve
2m 40s tannerduve:feature/boyer-moore-majority-vote
tannerduve:feature/boyer-moore-majority-vote
2m 40s
Add verified Boyer-Moore majority vote Lean Action CI #288: Pull request #75 synchronize by tannerduve
3m 15s tannerduve:feature/boyer-moore-majority-vote
tannerduve:feature/boyer-moore-majority-vote
3m 15s
Add verified Boyer-Moore majority vote Lean Action CI #287: Pull request #75 opened by tannerduve
3m 34s tannerduve:feature/boyer-moore-majority-vote
tannerduve:feature/boyer-moore-majority-vote
3m 34s
chore: toolchain update (#74) Create Release #7: Commit f0a3f2a pushed by Shreyas4991
9s main
main
9s
chore: toolchain update (#74) Lean Action CI #286: Commit f0a3f2a pushed by Shreyas4991
19m 14s main
main
19m 14s