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

reapply some changes that got reverted with the merge .github/workflows/pull_request.yml #734: Commit bcbbcda pushed by LorenzoLuccioli
November 12, 2024 20:55 2m 56s TestLeanCopilot
TestLeanCopilot
November 12, 2024 20:55 2m 56s
small golf .github/workflows/pull_request.yml #733: Commit 2c0526a pushed by LorenzoLuccioli
November 12, 2024 18:51 2m 59s TestLeanCopilot
TestLeanCopilot
November 12, 2024 18:51 2m 59s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #732: Commit 7609502 pushed by LorenzoLuccioli
September 23, 2024 10:02 3m 3s TestLeanCopilot
TestLeanCopilot
September 23, 2024 10:02 3m 3s
remove Nonempty hypothesis in fDiv_comp_right_le .github/workflows/pull_request.yml #731: Commit 75f36bf pushed by LorenzoLuccioli
September 18, 2024 22:26 2m 51s TestLeanCopilot
TestLeanCopilot
September 18, 2024 22:26 2m 51s
add Seminar_example.lean file .github/workflows/pull_request.yml #730: Commit 07cdb8b pushed by LorenzoLuccioli
September 18, 2024 13:45 3m 18s TestLeanCopilot
TestLeanCopilot
September 18, 2024 13:45 3m 18s
progress on proof of outer_Ioc .github/workflows/pull_request.yml #729: Commit 761e076 pushed by LorenzoLuccioli
September 14, 2024 20:31 2m 36s TestLeanCopilot
TestLeanCopilot
September 14, 2024 20:31 2m 36s
add partial file with attempt at generalizing the Stieltjes functions… .github/workflows/pull_request.yml #728: Commit bc7006a pushed by LorenzoLuccioli
September 14, 2024 19:21 2m 44s TestLeanCopilot
TestLeanCopilot
September 14, 2024 19:21 2m 44s
apply changes .github/workflows/pull_request.yml #727: Commit b07b176 pushed by LorenzoLuccioli
September 13, 2024 16:49 2m 47s LL/golf
LL/golf
September 13, 2024 16:49 2m 47s
cleanup variables .github/workflows/pull_request.yml #726: Commit 47cd4dc pushed by LorenzoLuccioli
September 13, 2024 08:43 2m 50s TestLeanCopilot
TestLeanCopilot
September 13, 2024 08:43 2m 50s
golf .github/workflows/pull_request.yml #725: Commit 77f9e6a pushed by LorenzoLuccioli
September 13, 2024 08:31 3m 0s TestLeanCopilot
TestLeanCopilot
September 13, 2024 08:31 3m 0s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #724: Commit 0e6958f pushed by LorenzoLuccioli
September 13, 2024 08:30 2m 49s TestLeanCopilot
TestLeanCopilot
September 13, 2024 08:30 2m 49s
golf .github/workflows/pull_request.yml #723: Commit 0df7d7e pushed by LorenzoLuccioli
September 12, 2024 11:10 2m 43s TestLeanCopilot
TestLeanCopilot
September 12, 2024 11:10 2m 43s
generalize bayesRiskPrior_eq_of_hasGenBayesEstimator_binary .github/workflows/pull_request.yml #722: Commit 115c549 pushed by LorenzoLuccioli
September 11, 2024 17:32 3m 4s TestLeanCopilot
TestLeanCopilot
September 11, 2024 17:32 3m 4s
bug fix, there was an unmerged conflict .github/workflows/pull_request.yml #721: Commit 944443d pushed by LorenzoLuccioli
September 11, 2024 16:22 2m 52s TestLeanCopilot
TestLeanCopilot
September 11, 2024 16:22 2m 52s
optimize section about DPI, general proof (these changes were already… .github/workflows/pull_request.yml #720: Commit cde9f3b pushed by LorenzoLuccioli
September 10, 2024 15:29 2m 54s TestLeanCopilot
TestLeanCopilot
September 10, 2024 15:29 2m 54s
fix bug .github/workflows/pull_request.yml #719: Commit c56e7a1 pushed by LorenzoLuccioli
September 10, 2024 07:12 2m 49s LL/bugFix
LL/bugFix
September 10, 2024 07:12 2m 49s
add GeneralStieltjes.lean .github/workflows/pull_request.yml #718: Commit b637682 pushed by LorenzoLuccioli
September 9, 2024 23:54 2m 44s TestLeanCopilot
TestLeanCopilot
September 9, 2024 23:54 2m 44s
comment .github/workflows/pull_request.yml #717: Commit 653e9ae pushed by LorenzoLuccioli
September 9, 2024 15:58 2m 49s TestLeanCopilot
TestLeanCopilot
September 9, 2024 15:58 2m 49s
add comment .github/workflows/pull_request.yml #716: Commit 0703031 pushed by LorenzoLuccioli
September 9, 2024 15:06 3m 2s TestLeanCopilot
TestLeanCopilot
September 9, 2024 15:06 3m 2s
comment .github/workflows/pull_request.yml #715: Commit 210164e pushed by LorenzoLuccioli
September 9, 2024 14:56 2m 50s TestLeanCopilot
TestLeanCopilot
September 9, 2024 14:56 2m 50s
simplify proof .github/workflows/pull_request.yml #714: Commit d8b1fe2 pushed by LorenzoLuccioli
September 9, 2024 14:24 3m 2s TestLeanCopilot
TestLeanCopilot
September 9, 2024 14:24 3m 2s
Merge branch 'master' into TestLeanCopilot .github/workflows/pull_request.yml #713: Commit 6ea68de pushed by LorenzoLuccioli
September 9, 2024 14:01 2m 53s TestLeanCopilot
TestLeanCopilot
September 9, 2024 14:01 2m 53s
bug fix .github/workflows/pull_request.yml #712: Commit 4a3f293 pushed by LorenzoLuccioli
September 9, 2024 13:56 2m 55s LL/generalize
LL/generalize
September 9, 2024 13:56 2m 55s
temporarily disable leanCopilot .github/workflows/pull_request.yml #711: Commit 0e6138a pushed by LorenzoLuccioli
September 8, 2024 13:01 2m 44s TestLeanCopilot
TestLeanCopilot
September 8, 2024 13:01 2m 44s
Merge remote-tracking branch 'upstream/master' into TestLeanCopilot .github/workflows/pull_request.yml #710: Commit 3397be0 pushed by LorenzoLuccioli
September 7, 2024 22:22 2m 31s TestLeanCopilot
TestLeanCopilot
September 7, 2024 22:22 2m 31s