Skip to content

Actions: daira/CompElliptic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
237 workflow runs
237 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
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #79: Pull request #29 synchronize by daira
11s weil-covers
weil-covers
11s
Merge pull request #32 from daira/ci-script-hardening CI #123: Commit d3dc114 pushed by daira
24m 22s main
main
24m 22s
Merge pull request #32 from daira/ci-script-hardening Workflow audit #78: Commit d3dc114 pushed by daira
15s main
main
15s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #122: Pull request #29 synchronize by daira
17m 38s weil-covers
weil-covers
17m 38s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #77: Pull request #29 synchronize by daira
14s weil-covers
weil-covers
14s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #121: Pull request #29 synchronize by daira
8m 13s weil-covers
weil-covers
8m 13s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #76: Pull request #29 synchronize by daira
16s weil-covers
weil-covers
16s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #75: Pull request #29 synchronize by daira
9s weil-covers
weil-covers
9s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #120: Pull request #29 synchronize by daira
15m 53s weil-covers
weil-covers
15m 53s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #74: Pull request #29 synchronize by daira
12s weil-covers
weil-covers
12s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #119: Pull request #29 synchronize by daira
4m 43s weil-covers
weil-covers
4m 43s
Harden the CI check scripts CI #118: Pull request #32 opened by daira
23m 51s ci-script-hardening
ci-script-hardening
23m 51s
Harden the CI check scripts Workflow audit #73: Pull request #32 opened by daira
9s ci-script-hardening
ci-script-hardening
9s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #72: Pull request #29 synchronize by daira
13s weil-covers
weil-covers
13s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #117: Pull request #29 synchronize by daira
16m 21s weil-covers
weil-covers
16m 21s
Reduce the deployed Weil bound to Weil's theorem at the branch covers Workflow audit #71: Pull request #29 synchronize by daira
14s weil-covers
weil-covers
14s
Reduce the deployed Weil bound to Weil's theorem at the branch covers CI #116: Pull request #29 synchronize by daira
18m 37s weil-covers
weil-covers
18m 37s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant CI #115: Pull request #31 synchronize by dannywillems
23m 57s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
23m 57s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant Workflow audit #70: Pull request #31 synchronize by dannywillems
11s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
11s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant Workflow audit #69: Pull request #31 synchronize by dannywillems
30d 0h 2m 51s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 2m 51s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant CI #114: Pull request #31 synchronize by dannywillems
30d 0h 2m 51s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 2m 51s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant Workflow audit #67: Pull request #31 synchronize by dannywillems
30d 0h 0m 33s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 0m 33s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant CI #112: Pull request #31 synchronize by dannywillems
30d 0h 0m 34s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 0m 34s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant Workflow audit #66: Pull request #31 synchronize by dannywillems
30d 0h 2m 57s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 2m 57s
CurveCycle.lean: a 2-cycle of curves shares its CM discriminant CI #111: Pull request #31 synchronize by dannywillems
30d 0h 2m 57s dannywillems:curve-cycle-discriminant
dannywillems:curve-cycle-discriminant
30d 0h 2m 57s