Skip to content

Actions: LorenzoLuccioli/testing-lower-bounds

Actions

.github/workflows/pull_request.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull_request.yml
734 workflow runs
734 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove useless argument names .github/workflows/pull_request.yml #709: Commit e68a49a pushed by LorenzoLuccioli
September 6, 2024 15:44 4m 8s TestLeanCopilot
TestLeanCopilot
September 6, 2024 15:44 4m 8s
golf proof of fDiv_map_measurableEmbedding .github/workflows/pull_request.yml #708: Commit 7f43df8 pushed by LorenzoLuccioli
September 5, 2024 22:37 4m 19s TestLeanCopilot
TestLeanCopilot
September 5, 2024 22:37 4m 19s
simplify proofs of le_fDiv_compProd' and fDiv_comp_le_compProd' .github/workflows/pull_request.yml #707: Commit 481dd92 pushed by LorenzoLuccioli
September 5, 2024 21:26 4m 23s TestLeanCopilot
TestLeanCopilot
September 5, 2024 21:26 4m 23s
simplify proof of f_rnDeriv_le_add .github/workflows/pull_request.yml #706: Commit 8b32ce6 pushed by LorenzoLuccioli
September 5, 2024 15:47 4m 17s TestLeanCopilot
TestLeanCopilot
September 5, 2024 15:47 4m 17s
golf proof of le_fDiv_compProd .github/workflows/pull_request.yml #705: Commit df164b0 pushed by LorenzoLuccioli
September 5, 2024 13:41 4m 6s TestLeanCopilot
TestLeanCopilot
September 5, 2024 13:41 4m 6s
fix typos in the comment about integration by parts .github/workflows/pull_request.yml #704: Commit 9c710b1 pushed by LorenzoLuccioli
September 2, 2024 12:53 4m 10s TestLeanCopilot
TestLeanCopilot
September 2, 2024 12:53 4m 10s
apply changes .github/workflows/pull_request.yml #703: Commit a1745ea pushed by LorenzoLuccioli
August 30, 2024 10:04 3m 0s LL/dotNotation
LL/dotNotation
August 30, 2024 10:04 3m 0s
Merge branch 'LL/dotNotation' into TestLeanCopilot .github/workflows/pull_request.yml #702: Commit 1f00539 pushed by LorenzoLuccioli
August 30, 2024 09:41 4m 20s TestLeanCopilot
TestLeanCopilot
August 30, 2024 09:41 4m 20s
Merge branch 'LL/dotNotation' into TestLeanCopilot .github/workflows/pull_request.yml #701: Commit 0cb5329 pushed by LorenzoLuccioli
August 30, 2024 09:23 4m 4s TestLeanCopilot
TestLeanCopilot
August 30, 2024 09:23 4m 4s
remove unnecessary MeasureTheory. .github/workflows/pull_request.yml #700: Commit 63c3a31 pushed by LorenzoLuccioli
August 29, 2024 22:08 4m 2s TestLeanCopilot
TestLeanCopilot
August 29, 2024 22:08 4m 2s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #699: Commit 8a50cba pushed by LorenzoLuccioli
August 29, 2024 20:30 4m 2s TestLeanCopilot
TestLeanCopilot
August 29, 2024 20:30 4m 2s
use dot notation for kernels .github/workflows/pull_request.yml #698: Commit aa32fcb pushed by LorenzoLuccioli
August 29, 2024 20:28 4m 21s TestLeanCopilot
TestLeanCopilot
August 29, 2024 20:28 4m 21s
golf proofs in Hellinger.lean .github/workflows/pull_request.yml #697: Commit 58cd18a pushed by LorenzoLuccioli
August 17, 2024 13:00 4m 0s TestLeanCopilot
TestLeanCopilot
August 17, 2024 13:00 4m 0s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #696: Commit 2ed95ec pushed by LorenzoLuccioli
August 17, 2024 10:26 3m 59s TestLeanCopilot
TestLeanCopilot
August 17, 2024 10:26 3m 59s
update blueprint .github/workflows/pull_request.yml #695: Commit ede6601 pushed by LorenzoLuccioli
August 7, 2024 12:27 2m 47s LL/blueprint
LL/blueprint
August 7, 2024 12:27 2m 47s
Merge remote-tracking branch 'upstream/master' into LL/small .github/workflows/pull_request.yml #694: Commit 9648ab1 pushed by LorenzoLuccioli
August 7, 2024 11:56 3m 1s LL/small
LL/small
August 7, 2024 11:56 3m 1s
bug fix .github/workflows/pull_request.yml #693: Commit 83668a2 pushed by LorenzoLuccioli
August 7, 2024 11:46 2m 41s LL/small
LL/small
August 7, 2024 11:46 2m 41s
bug fix .github/workflows/pull_request.yml #692: Commit 6a2fbb4 pushed by LorenzoLuccioli
August 7, 2024 10:56 2m 49s LL/Comments
LL/Comments
August 7, 2024 10:56 2m 49s
apply changes .github/workflows/pull_request.yml #691: Commit c95f135 pushed by LorenzoLuccioli
August 7, 2024 10:46 2m 38s LL/Comments
LL/Comments
August 7, 2024 10:46 2m 38s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #690: Commit 14f709c pushed by LorenzoLuccioli
August 7, 2024 10:38 3m 56s TestLeanCopilot
TestLeanCopilot
August 7, 2024 10:38 3m 56s
apply suggestion .github/workflows/pull_request.yml #689: Commit c8050ed pushed by LorenzoLuccioli
August 6, 2024 15:21 2m 47s LL/DPI
LL/DPI
August 6, 2024 15:21 2m 47s
apply suggestion .github/workflows/pull_request.yml #688: Commit 1b1f98c pushed by LorenzoLuccioli
August 6, 2024 15:20 2m 52s LL/DPI
LL/DPI
August 6, 2024 15:20 2m 52s
delete Tendsto.lean .github/workflows/pull_request.yml #687: Commit e761044 pushed by LorenzoLuccioli
August 6, 2024 14:18 1m 17s LL/DPI
LL/DPI
August 6, 2024 14:18 1m 17s
apply suggestion .github/workflows/pull_request.yml #686: Commit c14b5fa pushed by LorenzoLuccioli
August 6, 2024 14:08 2m 51s LL/DPI
LL/DPI
August 6, 2024 14:08 2m 51s
comments .github/workflows/pull_request.yml #685: Commit 8f75ddf pushed by LorenzoLuccioli
August 6, 2024 13:57 4m 1s TestLeanCopilot
TestLeanCopilot
August 6, 2024 13:57 4m 1s