Skip to content

Actions: YaelDillies/LeanAPAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib .github/workflows/push.yml #150: Commit 83e8d34 pushed by YaelDillies
May 7, 2024 07:58 22m 49s master
master
May 7, 2024 07:58 22m 49s
Fix sorry in NNRat.cast_divNat (#7) .github/workflows/push.yml #149: Commit ff5ae59 pushed by YaelDillies
May 2, 2024 17:30 9m 11s master
master
May 2, 2024 17:30 9m 11s
Fix sorry in cast_divNat .github/workflows/push_pr.yml #13: Pull request #7 opened by Command-Master
May 2, 2024 17:24 3m 51s Command-Master:master
Command-Master:master
May 2, 2024 17:24 3m 51s
More upstreamed lemmas .github/workflows/push.yml #148: Commit 3ec222d pushed by YaelDillies
May 1, 2024 06:28 19m 38s master
master
May 1, 2024 06:28 19m 38s
Bump mathlib .github/workflows/push.yml #147: Commit a582784 pushed by YaelDillies
May 1, 2024 06:14 20m 12s master
master
May 1, 2024 06:14 20m 12s
Bump mathlib .github/workflows/push.yml #146: Commit 3c7b8d6 pushed by YaelDillies
April 24, 2024 09:13 3m 20s master
master
April 24, 2024 09:13 3m 20s
Bump mathlib .github/workflows/push.yml #145: Commit ceb8964 pushed by YaelDillies
April 17, 2024 08:28 21m 2s master
master
April 17, 2024 08:28 21m 2s
Fix delaborator .github/workflows/push.yml #144: Commit af1adaf pushed by YaelDillies
April 3, 2024 16:06 9m 41s master
master
April 3, 2024 16:06 9m 41s
Bump mathlib .github/workflows/push.yml #143: Commit a0dc1d2 pushed by YaelDillies
March 29, 2024 19:45 20m 19s master
master
March 29, 2024 19:45 20m 19s
A version of the BSG theorem with two subsets (#6) .github/workflows/push.yml #142: Commit 71f7ae7 pushed by YaelDillies
March 27, 2024 20:23 21m 7s master
master
March 27, 2024 20:23 21m 7s
A version of the BSG theorem with two subsets .github/workflows/push_pr.yml #12: Pull request #6 opened by Command-Master
March 27, 2024 15:41 4m 10s Command-Master:master
Command-Master:master
March 27, 2024 15:41 4m 10s
Lower bound on the energy .github/workflows/push.yml #141: Commit fe2f580 pushed by YaelDillies
March 17, 2024 12:47 9m 18s master
master
March 17, 2024 12:47 9m 18s
Bump mathlib .github/workflows/push.yml #140: Commit b9882b2 pushed by YaelDillies
March 17, 2024 11:45 20m 18s master
master
March 17, 2024 11:45 20m 18s
Remove extra brackets in Chang .github/workflows/push.yml #139: Commit dc6781a pushed by YaelDillies
March 10, 2024 15:58 9m 51s master
master
March 10, 2024 15:58 9m 51s
Complete density API .github/workflows/push.yml #138: Commit e1e7f56 pushed by YaelDillies
March 8, 2024 15:07 9m 35s master
master
March 8, 2024 15:07 9m 35s
Bump mathlib .github/workflows/push.yml #137: Commit 595d326 pushed by YaelDillies
March 8, 2024 14:16 20m 23s master
master
March 8, 2024 14:16 20m 23s
Bump mathlib .github/workflows/push.yml #136: Commit 1ba9751 pushed by YaelDillies
March 5, 2024 21:09 21m 7s master
master
March 5, 2024 21:09 21m 7s
Missing package .github/workflows/push.yml #135: Commit a8729f0 pushed by YaelDillies
March 4, 2024 15:39 9m 31s master
master
March 4, 2024 15:39 9m 31s
Fix statement of exponential Rudin .github/workflows/push.yml #134: Commit bc49225 pushed by YaelDillies
March 4, 2024 14:48 8m 44s master
master
March 4, 2024 14:48 8m 44s
Bump mathlib .github/workflows/push.yml #133: Commit d5612e2 pushed by YaelDillies
March 2, 2024 22:50 21m 22s master
master
March 2, 2024 22:50 21m 22s
MWE .github/workflows/push_pr.yml #11: Commit a1a353b pushed by YaelDillies
February 29, 2024 21:02 4m 20s mwe
mwe
February 29, 2024 21:02 4m 20s
.github/workflows/push.yml .github/workflows/push.yml #132: by YaelDillies
February 28, 2024 19:57 20m 45s master
master
February 28, 2024 19:57 20m 45s
Bump mathlib .github/workflows/push.yml #131: Commit da82bfb pushed by YaelDillies
February 22, 2024 16:04 20m 47s master
master
February 22, 2024 16:04 20m 47s
Bump mathlib .github/workflows/push.yml #130: Commit 2e68b84 pushed by YaelDillies
February 21, 2024 09:48 21m 1s master
master
February 21, 2024 09:48 21m 1s
progress .github/workflows/push_pr.yml #10: Commit eed7ce4 pushed by YaelDillies
February 17, 2024 18:27 4m 6s conv_positivity
conv_positivity
February 17, 2024 18:27 4m 6s