Skip to content

Actions: YaelDillies/LeanAPAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deduplicate lemmas .github/workflows/push.yml #190: Commit 06ca8ee pushed by YaelDillies
August 16, 2024 16:04 24m 52s master
master
August 16, 2024 16:04 24m 52s
Update README and web index .github/workflows/push.yml #189: Commit 18c5105 pushed by YaelDillies
August 16, 2024 15:23 3m 43s master
master
August 16, 2024 15:23 3m 43s
Start on the "very small doubling constant" theorem .github/workflows/push_pr.yml #22: Commit 4065a85 pushed by YaelDillies
August 16, 2024 15:19 1m 22s doubling_constant
doubling_constant
August 16, 2024 15:19 1m 22s
Prerequisites to the very small doubling theorem .github/workflows/push.yml #188: Commit 06a68aa pushed by YaelDillies
August 16, 2024 15:17 3m 44s master
master
August 16, 2024 15:17 3m 44s
Bump mathlib .github/workflows/push.yml #187: Commit 2b74332 pushed by YaelDillies
August 16, 2024 13:30 15m 22s master
master
August 16, 2024 13:30 15m 22s
Bump mathlib .github/workflows/push.yml #186: Commit 7e5f6c1 pushed by YaelDillies
August 16, 2024 10:43 17m 51s master
master
August 16, 2024 10:43 17m 51s
nnLpNorm .github/workflows/push_pr.yml #21: Commit fe4f070 pushed by YaelDillies
August 16, 2024 10:26 1m 7s nnLpNorm
nnLpNorm
August 16, 2024 10:26 1m 7s
Bump mathlib .github/workflows/push.yml #185: Commit dd6d93c pushed by YaelDillies
August 16, 2024 10:10 16m 15s master
master
August 16, 2024 10:10 16m 15s
Bump mathlib .github/workflows/push.yml #184: Commit 048c62d pushed by YaelDillies
August 16, 2024 07:19 23m 48s master
master
August 16, 2024 07:19 23m 48s
Bump mathlib .github/workflows/push.yml #183: Commit f541b33 pushed by YaelDillies
August 15, 2024 21:54 25m 38s master
master
August 15, 2024 21:54 25m 38s
Style .github/workflows/push.yml #182: Commit 83bee2b pushed by YaelDillies
August 13, 2024 22:36 24m 22s master
master
August 13, 2024 22:36 24m 22s
Bump mathlib .github/workflows/push.yml #181: Commit 13a24bf pushed by YaelDillies
August 11, 2024 18:01 24m 27s master
master
August 11, 2024 18:01 24m 27s
Attempty at a positivity extensio for Real.log .github/workflows/push.yml #180: Commit 6947823 pushed by YaelDillies
August 11, 2024 17:40 9m 0s master
master
August 11, 2024 17:40 9m 0s
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