Skip to content

Actions: Shreyas4991/Algolean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
382 workflow runs
382 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
Add randomized quicksort and prove correctness Lean Action CI #362: Pull request #82 synchronize by tannerduve
18m 21s feature/random-quicksort
feature/random-quicksort
18m 21s
Merge pull request #83 from fharding1/fharding1/generic-group-model Build and Deploy Documentation #24: Commit 13dbaf6 pushed by Shreyas4991
1h 48m 34s main
main
1h 48m 34s
Merge pull request #83 from fharding1/fharding1/generic-group-model Lean Action CI #361: Commit 13dbaf6 pushed by Shreyas4991
16m 51s main
main
16m 51s
feat: even stricter word ram Lean Action CI #360: Pull request #92 synchronize by Shreyas4991
3m 12s stricter_word_ram
stricter_word_ram
3m 12s
Generic group model, discrete log algorithms (brute force and BSGS) and lower bound Lean Action CI #359: Pull request #83 synchronize by fharding1
11m 59s fharding1:fharding1/generic-group-model
fharding1:fharding1/generic-group-model
11m 59s
Generic group model, discrete log algorithms (brute force and BSGS) and lower bound Lean Action CI #358: Pull request #83 synchronize by fharding1
14m 54s fharding1:fharding1/generic-group-model
fharding1:fharding1/generic-group-model
14m 54s
Generic group model, discrete log algorithms (brute force and BSGS) and lower bound Lean Action CI #357: Pull request #83 synchronize by fharding1
15m 43s fharding1:fharding1/generic-group-model
fharding1:fharding1/generic-group-model
15m 43s
Generic group model, discrete log algorithms (brute force and BSGS) and lower bound Lean Action CI #356: Pull request #83 synchronize by fharding1
1d 8h 41m 40s fharding1:fharding1/generic-group-model
fharding1:fharding1/generic-group-model
1d 8h 41m 40s
feat: even stricter word ram Lean Action CI #355: Pull request #92 synchronize by Shreyas4991
3m 35s stricter_word_ram
stricter_word_ram
3m 35s
feat: even stricter word ram Lean Action CI #354: Pull request #92 synchronize by Shreyas4991
4m 7s stricter_word_ram
stricter_word_ram
4m 7s
feat: even stricter word ram Lean Action CI #353: Pull request #92 synchronize by Shreyas4991
3m 38s stricter_word_ram
stricter_word_ram
3m 38s
feat: even stricter word ram Lean Action CI #352: Pull request #92 synchronize by Shreyas4991
3m 9s stricter_word_ram
stricter_word_ram
3m 9s
feat: even stricter word ram Lean Action CI #351: Pull request #92 synchronize by Shreyas4991
4m 5s stricter_word_ram
stricter_word_ram
4m 5s
feat: even stricter word ram Lean Action CI #350: Pull request #92 synchronize by Shreyas4991
3m 31s stricter_word_ram
stricter_word_ram
3m 31s
feat: even stricter word ram Lean Action CI #349: Pull request #92 synchronize by Shreyas4991
2m 57s stricter_word_ram
stricter_word_ram
2m 57s
feat: even stricter word ram Lean Action CI #348: Pull request #92 synchronize by Shreyas4991
2m 34s stricter_word_ram
stricter_word_ram
2m 34s
feat: even stricter word ram Lean Action CI #347: Pull request #92 synchronize by Shreyas4991
3m 17s stricter_word_ram
stricter_word_ram
3m 17s
feat: even stricter word ram Lean Action CI #346: Pull request #92 synchronize by Shreyas4991
4m 19s stricter_word_ram
stricter_word_ram
4m 19s
feat: even stricter word ram Lean Action CI #345: Pull request #92 synchronize by Shreyas4991
3m 25s stricter_word_ram
stricter_word_ram
3m 25s
feat: even stricter word ram Lean Action CI #344: Pull request #92 opened by Shreyas4991
5m 55s stricter_word_ram
stricter_word_ram
5m 55s
feat: stricter word ram model Lean Action CI #343: Pull request #90 synchronize by Shreyas4991
3m 30s strict_word_ram
strict_word_ram
3m 30s
Add the project explanation that I wrote for cslib#685 (#91) Build and Deploy Documentation #23: Commit 343cb18 pushed by Shreyas4991
1h 55m 37s main
main
1h 55m 37s
Add the project explanation that I wrote for cslib#685 (#91) Lean Action CI #342: Commit 343cb18 pushed by Shreyas4991
3m 4s main
main
3m 4s
feat: add the project explanation that I wrote for leanprover/cslib#685 Lean Action CI #341: Pull request #91 opened by Shreyas4991
2m 44s Shreyas4991-patch-5
Shreyas4991-patch-5
2m 44s
feat: stricter word ram model Lean Action CI #340: Pull request #90 synchronize by Shreyas4991
2m 56s strict_word_ram
strict_word_ram
2m 56s