Skip to content

Actions: LorenzoLuccioli/testing-lower-bounds

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
782 workflow runs
782 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

comments .github/workflows/pull_request.yml #669: Commit c8aabf5 pushed by LorenzoLuccioli
August 3, 2024 14:10 3m 41s TestLeanCopilot
TestLeanCopilot
August 3, 2024 14:10 3m 41s
add integral_of_isEmpty_codomain and comments .github/workflows/pull_request.yml #668: Commit f76c956 pushed by LorenzoLuccioli
August 3, 2024 13:41 3m 55s TestLeanCopilot
TestLeanCopilot
August 3, 2024 13:41 3m 55s
apply suggestions .github/workflows/pull_request.yml #667: Commit e483a8a pushed by LorenzoLuccioli
August 3, 2024 13:17 2m 49s LL/fDiv
LL/fDiv
August 3, 2024 13:17 2m 49s
bug fix .github/workflows/pull_request.yml #666: Commit 5982a5f pushed by LorenzoLuccioli
August 3, 2024 13:17 2m 48s LL/fDiv
LL/fDiv
August 3, 2024 13:17 2m 48s
rename fDiv_mono' and add comment .github/workflows/pull_request.yml #665: Commit b099af5 pushed by LorenzoLuccioli
August 3, 2024 13:12 2m 1s LL/fDiv
LL/fDiv
August 3, 2024 13:12 2m 1s
apply changes .github/workflows/pull_request.yml #664: Commit 833ac9b pushed by LorenzoLuccioli
August 2, 2024 18:53 2m 43s LL/fixKL
LL/fixKL
August 2, 2024 18:53 2m 43s
fix blueprint .github/workflows/blueprint.yml #38: Commit 95198ea pushed by LorenzoLuccioli
August 2, 2024 18:51 10m 30s master
master
August 2, 2024 18:51 10m 30s
finish proof of rightDeriv_mul_log .github/workflows/pull_request.yml #663: Commit 67b5349 pushed by LorenzoLuccioli
August 2, 2024 18:38 4m 0s TestLeanCopilot
TestLeanCopilot
August 2, 2024 18:38 4m 0s
Merge branch 'LL/DPI' into TestLeanCopilot .github/workflows/pull_request.yml #662: Commit 97175cb pushed by LorenzoLuccioli
August 2, 2024 18:15 3m 59s TestLeanCopilot
TestLeanCopilot
August 2, 2024 18:15 3m 59s
finish proof of fDiv_eq_lintegral_fDiv_statInfoFun_of_mutuallySingular .github/workflows/pull_request.yml #661: Commit a7f91c6 pushed by LorenzoLuccioli
August 2, 2024 18:08 2m 51s LL/DPI
LL/DPI
August 2, 2024 18:08 2m 51s
bug fix .github/workflows/pull_request.yml #660: Commit 419c95b pushed by LorenzoLuccioli
August 2, 2024 14:22 2m 56s LL/DPI
LL/DPI
August 2, 2024 14:22 2m 56s
Merge branch 'LL/DPIAbsCont' into LL/DPI .github/workflows/pull_request.yml #659: Commit 20be79d pushed by LorenzoLuccioli
August 2, 2024 14:00 2m 48s LL/DPI
LL/DPI
August 2, 2024 14:00 2m 48s
Merge branch 'LL/fDiv' into LL/DPIAbsCont .github/workflows/pull_request.yml #658: Commit c820588 pushed by LorenzoLuccioli
August 2, 2024 13:55 2m 46s LL/DPIAbsCont
LL/DPIAbsCont
August 2, 2024 13:55 2m 46s
finish proof of fDiv_mono', fDiv_mono and fDiv_nonneg_of_nonneg .github/workflows/pull_request.yml #657: Commit d457c76 pushed by LorenzoLuccioli
August 2, 2024 13:50 2m 40s LL/fDiv
LL/fDiv
August 2, 2024 13:50 2m 40s
finish proof of fDiv_congr' and fDiv_congr .github/workflows/pull_request.yml #656: Commit fb4b3e6 pushed by LorenzoLuccioli
August 2, 2024 13:22 2m 47s LL/fDiv
LL/fDiv
August 2, 2024 13:22 2m 47s
Merge branch 'master' into LL/fDiv .github/workflows/pull_request.yml #655: Commit 3e26bdb pushed by LorenzoLuccioli
August 2, 2024 11:04 2m 36s LL/fDiv
LL/fDiv
August 2, 2024 11:04 2m 36s
comment .github/workflows/pull_request.yml #654: Commit d96ba36 pushed by LorenzoLuccioli
August 2, 2024 10:16 3m 59s TestLeanCopilot
TestLeanCopilot
August 2, 2024 10:16 3m 59s
clenaup .github/workflows/pull_request.yml #653: Commit 1e1c0d7 pushed by LorenzoLuccioli
August 2, 2024 09:42 4m 18s TestLeanCopilot
TestLeanCopilot
August 2, 2024 09:42 4m 18s
add comments and cleanup .github/workflows/pull_request.yml #652: Commit a08cf8a pushed by LorenzoLuccioli
August 1, 2024 20:54 4m 35s TestLeanCopilot
TestLeanCopilot
August 1, 2024 20:54 4m 35s
add consequences of the DPI .github/workflows/pull_request.yml #651: Commit 4dd2338 pushed by LorenzoLuccioli
August 1, 2024 17:08 2m 35s LL/DPI
LL/DPI
August 1, 2024 17:08 2m 35s
ipdate blueprint .github/workflows/pull_request.yml #650: Commit 3a45397 pushed by LorenzoLuccioli
August 1, 2024 16:56 4m 0s TestLeanCopilot
TestLeanCopilot
August 1, 2024 16:56 4m 0s
rename fDiv_statInfoFun_ne_top_of_nonneg to fDiv_statInfoFun_ne_top .github/workflows/pull_request.yml #649: Commit 417b2ee pushed by LorenzoLuccioli
August 1, 2024 15:31 4m 0s TestLeanCopilot
TestLeanCopilot
August 1, 2024 15:31 4m 0s
more comments about integration by parts .github/workflows/pull_request.yml #648: Commit 82f8a1e pushed by LorenzoLuccioli
August 1, 2024 14:48 4m 10s TestLeanCopilot
TestLeanCopilot
August 1, 2024 14:48 4m 10s
add a hypothesis to integral_stieltjes_meas_by_parts and add comments… .github/workflows/pull_request.yml #647: Commit b75dbfe pushed by LorenzoLuccioli
August 1, 2024 14:25 4m 4s TestLeanCopilot
TestLeanCopilot
August 1, 2024 14:25 4m 4s
remove fDiv_statInfoFun_comp_right_le' .github/workflows/pull_request.yml #646: Commit 78ae513 pushed by LorenzoLuccioli
August 1, 2024 10:47 2m 25s LL/DPIAbsCont
LL/DPIAbsCont
August 1, 2024 10:47 2m 25s