Skip to content

Actions: daira/CompElliptic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 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
Fast EC arithmetic: projective addition, Pippenger MSM, 8-limb Montgomery fields CI #24: Pull request #13 synchronize by mitschabaude-bot
Action required mitschabaude-bot:fast-pasta-arithmetic
mitschabaude-bot:fast-pasta-arithmetic
Action required
Fast EC arithmetic: projective addition, Pippenger MSM, 8-limb Montgomery fields CI #23: Pull request #13 opened by mitschabaude-bot
Action required mitschabaude-bot:fast-pasta-arithmetic
mitschabaude-bot:fast-pasta-arithmetic
Action required
Merge pull request #11 from daira/computable-fintype CI #22: Commit a549e45 pushed by daira
2m 10s main
main
2m 10s
Derive Fintype for curve points computably CI #21: Pull request #11 synchronize by daira
1m 48s computable-fintype
computable-fintype
1m 48s
Derive Fintype for curve points computably CI #20: Pull request #11 opened by daira
1m 54s computable-fintype
computable-fintype
1m 54s
Merge pull request #9 from daira/lean-v4.30.0 CI #19: Commit 0eee049 pushed by daira
2m 30s main
main
2m 30s
Bump toolchain to Lean v4.30.0 (final) and Mathlib v4.30.0 CI #18: Pull request #9 opened by daira
2m 33s lean-v4.30.0
lean-v4.30.0
2m 33s
Merge pull request #8 from daira/sync-assert-computable CI #17: Commit bcfefdb pushed by daira
2m 9s main
main
2m 9s
meta: add assert_computable, synced from ironwood CI #16: Pull request #8 opened by daira
1m 31s sync-assert-computable
sync-assert-computable
1m 31s
Merge pull request #7 from daira/trust-boundary-checks CI #15: Commit 691d412 pushed by daira
2m 19s main
main
2m 19s
Trust boundary checks CI #14: Pull request #7 opened by daira
1m 55s trust-boundary-checks
trust-boundary-checks
1m 55s
Merge pull request #6 from mitschabaude/unconditional-pasta-order CI #13: Commit f5f420f pushed by daira
2m 46s main
main
2m 46s
Pin the Pasta group orders without assuming Hasse CI #12: Pull request #6 synchronize by daira
1m 49s mitschabaude:unconditional-pasta-order
mitschabaude:unconditional-pasta-order
1m 49s
Pin the Pasta group orders without assuming Hasse CI #11: Pull request #6 opened by mitschabaude
2m 49s mitschabaude:unconditional-pasta-order
mitschabaude:unconditional-pasta-order
2m 49s
feat: the GLV endomorphism, and φ = [λ] on Pallas and Vesta CI #10: Pull request #5 synchronize by dannywillems
2m 47s dannywillems:glv-endomorphism
dannywillems:glv-endomorphism
2m 47s
feat: the GLV endomorphism, and φ = [λ] on Pallas and Vesta CI #9: Pull request #5 synchronize by dannywillems
Action required dannywillems:glv-endomorphism
dannywillems:glv-endomorphism
Action required
feat: the GLV endomorphism, and φ = [λ] on Pallas and Vesta CI #8: Pull request #5 synchronize by dannywillems
Action required dannywillems:glv-endomorphism
dannywillems:glv-endomorphism
Action required
feat: the GLV endomorphism, and φ = [λ] on Pallas and Vesta CI #7: Pull request #5 synchronize by dannywillems
Action required dannywillems:glv-endomorphism
dannywillems:glv-endomorphism
Action required
feat: the GLV endomorphism, and φ = [λ] on Pallas and Vesta CI #6: Pull request #5 opened by dannywillems
Action required dannywillems:glv-endomorphism
dannywillems:glv-endomorphism
Action required
Merge pull request #2 from daira/curve-order CI #5: Commit 6c5b1a6 pushed by daira
1m 33s main
main
1m 33s
Curve group orders via the Hasse bound, for prime-order curves and for Pallas/Vesta; includes fast SWPoint scalar mul CI #4: Pull request #2 synchronize by daira
1m 36s curve-order
curve-order
1m 36s
Merge pull request #3 from daira/add-ci CI #3: Commit 82cf4bc pushed by daira
2m 31s main
main
2m 31s
Merge pull request #3 from daira/add-ci Workflow audit #2: Commit 82cf4bc pushed by daira
13s main
main
13s
Add CI: lake build + field-file generator-reproduction checks Workflow audit #1: Pull request #3 synchronize by daira
10s add-ci
add-ci
10s
Add CI: lake build + field-file generator-reproduction checks CI #2: Pull request #3 synchronize by daira
1m 38s add-ci
add-ci
1m 38s