Skip to content

Actions: YaelDillies/LeanAPAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Progress on ff .github/workflows/push.yml #179: Commit f47447e pushed by YaelDillies
August 5, 2024 10:46 23m 4s master
master
August 5, 2024 10:46 23m 4s
Progress on ap_in_ff .github/workflows/push.yml #178: Commit f2f2849 pushed by YaelDillies
August 4, 2024 17:30 8m 49s master
master
August 4, 2024 17:30 8m 49s
dedup file .github/workflows/push_pr.yml #20: Commit 5649f1f pushed by YaelDillies
August 4, 2024 13:32 3m 45s doubling_constant
doubling_constant
August 4, 2024 13:32 3m 45s
Use dens more widely .github/workflows/push.yml #177: Commit 03201dd pushed by YaelDillies
August 4, 2024 13:27 3m 35s master
master
August 4, 2024 13:27 3m 35s
Doubling constant .github/workflows/push.yml #176: Commit 51cd13e pushed by YaelDillies
August 4, 2024 10:08 9m 50s master
master
August 4, 2024 10:08 9m 50s
Start on the "very small doubling constant" theorem .github/workflows/push_pr.yml #19: Commit 4e43786 pushed by YaelDillies
August 4, 2024 00:07 3m 40s doubling_constant
doubling_constant
August 4, 2024 00:07 3m 40s
Make sure the MZ align doesn't go overboard .github/workflows/push.yml #175: Commit 0d273fd pushed by YaelDillies
August 4, 2024 00:06 9m 16s master
master
August 4, 2024 00:06 9m 16s
Clean up Marcinkiewicz-Zygmund .github/workflows/push.yml #174: Commit c2260e6 pushed by YaelDillies
August 2, 2024 08:19 9m 35s master
master
August 2, 2024 08:19 9m 35s
Remove long-upstreamed lemmas .github/workflows/push.yml #173: Commit 581a197 pushed by YaelDillies
August 2, 2024 06:53 9m 2s master
master
August 2, 2024 06:53 9m 2s
Bump mathlib .github/workflows/push.yml #172: Commit 5be49bb pushed by YaelDillies
August 1, 2024 15:50 24m 31s master
master
August 1, 2024 15:50 24m 31s
nnLpNorm .github/workflows/push_pr.yml #18: Commit 5113bf3 pushed by YaelDillies
July 31, 2024 07:43 2m 29s nnLpNorm
nnLpNorm
July 31, 2024 07:43 2m 29s
Bump mathlib .github/workflows/push.yml #171: Commit 04ba6a9 pushed by YaelDillies
July 31, 2024 07:43 22m 13s master
master
July 31, 2024 07:43 22m 13s
Bump mathlib .github/workflows/push.yml #170: Commit cae9cdf pushed by YaelDillies
July 30, 2024 17:29 21m 45s master
master
July 30, 2024 17:29 21m 45s
nnLpNorm .github/workflows/push_pr.yml #17: Commit 4af035f pushed by YaelDillies
July 29, 2024 20:33 2m 36s nnLpNorm
nnLpNorm
July 29, 2024 20:33 2m 36s
Bump mathlib .github/workflows/push.yml #169: Commit 56b5b35 pushed by YaelDillies
July 29, 2024 20:33 23m 3s master
master
July 29, 2024 20:33 23m 3s
Bump mathlib .github/workflows/push.yml #168: Commit 9145e9a pushed by YaelDillies
July 25, 2024 19:23 22m 14s master
master
July 25, 2024 19:23 22m 14s
Bump mathlib .github/workflows/push.yml #167: Commit 0d56146 pushed by YaelDillies
July 24, 2024 19:27 21m 47s master
master
July 24, 2024 19:27 21m 47s
Bump mathlib .github/workflows/push.yml #166: Commit 4ce31d2 pushed by YaelDillies
July 20, 2024 13:13 21m 28s master
master
July 20, 2024 13:13 21m 28s
Bump mathlib .github/workflows/push.yml #165: Commit f3fce82 pushed by YaelDillies
July 12, 2024 19:41 22m 26s master
master
July 12, 2024 19:41 22m 26s
Bump mathlib .github/workflows/push.yml #164: Commit 530d3e3 pushed by YaelDillies
July 6, 2024 08:33 22m 6s master
master
July 6, 2024 08:33 22m 6s
Split prerequisite files .github/workflows/push.yml #163: Commit 4c3b568 pushed by YaelDillies
June 16, 2024 11:10 9m 28s master
master
June 16, 2024 11:10 9m 28s
Bump mathlib .github/workflows/push.yml #162: Commit b744a0d pushed by YaelDillies
June 16, 2024 09:29 20m 35s master
master
June 16, 2024 09:29 20m 35s
Start on the "very small doubling constant" theorem .github/workflows/push_pr.yml #16: Commit 2c8165c pushed by YaelDillies
June 12, 2024 11:50 4m 1s doubling_constant
doubling_constant
June 12, 2024 11:50 4m 1s
Bump mathlib .github/workflows/push.yml #161: Commit dcfddba pushed by YaelDillies
June 12, 2024 10:46 21m 27s master
master
June 12, 2024 10:46 21m 27s
Bump mathlib .github/workflows/push.yml #160: Commit e679162 pushed by YaelDillies
June 8, 2024 20:44 21m 7s master
master
June 8, 2024 20:44 21m 7s