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

Apply sifting_cor to di_in_ff .github/workflows/push.yml #224: Commit 562a2d8 pushed by YaelDillies
September 3, 2024 16:38 4m 37s master
master
September 3, 2024 16:38 4m 37s
Bump mathlib .github/workflows/push.yml #223: Commit b51a08e pushed by YaelDillies
September 3, 2024 10:16 5m 2s master
master
September 3, 2024 10:16 5m 2s
Fresh start on di_in_ff .github/workflows/push.yml #222: Commit c185c8a pushed by YaelDillies
September 2, 2024 18:28 9m 47s master
master
September 2, 2024 18:28 9m 47s
ff done 🎉 .github/workflows/push.yml #221: Commit 3b8ec20 pushed by YaelDillies
September 2, 2024 15:59 9m 59s master
master
September 2, 2024 15:59 9m 59s
Don't use curlog in the finite field case .github/workflows/push.yml #220: Commit 13f007e pushed by YaelDillies
September 2, 2024 15:00 9m 21s master
master
September 2, 2024 15:00 9m 21s
Don't use curlog in almost periodicity .github/workflows/push.yml #219: Commit e4da86f pushed by YaelDillies
September 2, 2024 13:50 9m 24s master
master
September 2, 2024 13:50 9m 24s
Most of the inductive step in ff .github/workflows/push.yml #218: Commit 7009b47 pushed by YaelDillies
September 2, 2024 12:04 9m 22s master
master
September 2, 2024 12:04 9m 22s
Bump mathlib .github/workflows/push.yml #217: Commit e495e59 pushed by YaelDillies
September 2, 2024 08:38 22m 52s master
master
September 2, 2024 08:38 22m 52s
Bump mathlib .github/workflows/push.yml #216: Commit 5f68f1e pushed by YaelDillies
September 1, 2024 07:58 24m 26s master
master
September 1, 2024 07:58 24m 26s
move bohr .github/workflows/push.yml #215: Commit e066429 pushed by b-mehta
August 30, 2024 12:15 21m 36s master
master
August 30, 2024 12:15 21m 36s
Switch to nnLpNorm .github/workflows/push.yml #214: Commit 70cc534 pushed by YaelDillies
August 30, 2024 12:05 23m 26s master
master
August 30, 2024 12:05 23m 26s
some arc sets .github/workflows/push.yml #213: Commit 2f2fd22 pushed by b-mehta
August 30, 2024 09:56 9m 7s master
master
August 30, 2024 09:56 9m 7s
Bump mathlib .github/workflows/push.yml #212: Commit c882698 pushed by YaelDillies
August 29, 2024 21:44 23m 17s master
master
August 29, 2024 21:44 23m 17s
quite a lot more .github/workflows/push_pr.yml #38: Commit 6c8c0c9 pushed by YaelDillies
August 29, 2024 21:36 3m 41s nnLpNorm
nnLpNorm
August 29, 2024 21:36 3m 41s
Bump mathlib .github/workflows/push.yml #211: Commit 1650046 pushed by YaelDillies
August 29, 2024 15:40 22m 4s master
master
August 29, 2024 15:40 22m 4s
Bump mathlib .github/workflows/push.yml #210: Commit d1f2d3a pushed by YaelDillies
August 29, 2024 14:15 4m 2s master
master
August 29, 2024 14:15 4m 2s
Merge branch 'master' of https://github.com/YaelDillies/LeanAPAP .github/workflows/push.yml #209: Commit e654a26 pushed by b-mehta
August 29, 2024 08:50 3m 43s master
master
August 29, 2024 08:50 3m 43s
start fixing almost periodicity .github/workflows/push_pr.yml #37: Commit 0e42a93 pushed by YaelDillies
August 29, 2024 05:58 3m 19s nnLpNorm
nnLpNorm
August 29, 2024 05:58 3m 19s
nnLpNorm .github/workflows/push_pr.yml #36: Commit 96efe64 pushed by YaelDillies
August 29, 2024 05:32 3m 10s nnLpNorm
nnLpNorm
August 29, 2024 05:32 3m 10s
Yet more nnLpNorm prereqs .github/workflows/push.yml #208: Commit c9a7380 pushed by YaelDillies
August 29, 2024 05:31 9m 9s master
master
August 29, 2024 05:31 9m 9s
nnLpNorm .github/workflows/push_pr.yml #35: Commit 7bc137a pushed by YaelDillies
August 29, 2024 05:27 3m 21s nnLpNorm
nnLpNorm
August 29, 2024 05:27 3m 21s
ENNReal.toReal_inv is now simp .github/workflows/push.yml #207: Commit b5e6df3 pushed by YaelDillies
August 29, 2024 04:49 8m 59s master
master
August 29, 2024 04:49 8m 59s
Bump mathlib .github/workflows/push.yml #206: Commit 471cd18 pushed by YaelDillies
August 28, 2024 12:42 14m 19s master
master
August 28, 2024 12:42 14m 19s
dft_comp_neg_apply .github/workflows/push.yml #205: Commit 597ddfa pushed by YaelDillies
August 28, 2024 11:56 9m 10s master
master
August 28, 2024 11:56 9m 10s
fix more .github/workflows/push_pr.yml #34: Commit 1deb0dc pushed by YaelDillies
August 28, 2024 11:50 2m 47s nnLpNorm
nnLpNorm
August 28, 2024 11:50 2m 47s