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

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
Merge pull request #173 from RemyDegenne/blueprint .github/workflows/blueprint.yml #48: Commit 0f09ff1 pushed by LorenzoLuccioli
November 12, 2024 19:04 24m 53s master
master
November 12, 2024 19:04 24m 53s
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
Merge pull request #151 from RemyDegenne/bump .github/workflows/blueprint.yml #47: Commit 924b9e4 pushed by LorenzoLuccioli
September 12, 2024 15:31 24m 28s master
master
September 12, 2024 15:31 24m 28s
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
fix bug .github/workflows/blueprint.yml #46: Commit c56e7a1 pushed by LorenzoLuccioli
September 10, 2024 07:11 9m 48s master
master
September 10, 2024 07:11 9m 48s
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