Skip to content

Actions: RemyDegenne/testing-lower-bounds

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,491 workflow runs
1,491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #19: Pull request #4 synchronize by LorenzoLuccioli
April 8, 2024 17:01 1m 47s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 8, 2024 17:01 1m 47s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #18: Pull request #4 synchronize by LorenzoLuccioli
April 8, 2024 16:59 1m 59s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 8, 2024 16:59 1m 59s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #17: Pull request #4 synchronize by LorenzoLuccioli
April 8, 2024 16:55 1m 49s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 8, 2024 16:55 1m 49s
move aux lemmas to appropriate file .github/workflows/blueprint.yml #172: Commit dea1e59 pushed by RemyDegenne
April 8, 2024 16:22 7m 1s master
master
April 8, 2024 16:22 7m 1s
blueprint: add asymptotic chernoff testing bound .github/workflows/blueprint.yml #171: Commit 3d65997 pushed by RemyDegenne
April 8, 2024 11:12 7m 28s master
master
April 8, 2024 11:12 7m 28s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #16: Pull request #4 synchronize by LorenzoLuccioli
April 8, 2024 09:02 1m 43s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 8, 2024 09:02 1m 43s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #15: Pull request #4 synchronize by LorenzoLuccioli
April 7, 2024 22:10 1m 45s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 7, 2024 22:10 1m 45s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #14: Pull request #4 synchronize by LorenzoLuccioli
April 7, 2024 21:34 1m 54s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 7, 2024 21:34 1m 54s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #13: Pull request #4 synchronize by LorenzoLuccioli
April 7, 2024 18:37 1m 43s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 7, 2024 18:37 1m 43s
move lemmas out of CondFDiv .github/workflows/blueprint.yml #170: Commit 34cbce4 pushed by RemyDegenne
April 7, 2024 14:00 7m 50s master
master
April 7, 2024 14:00 7m 50s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #12: Pull request #4 synchronize by LorenzoLuccioli
April 7, 2024 10:10 1m 53s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 7, 2024 10:10 1m 53s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #11: Pull request #4 synchronize by LorenzoLuccioli
April 7, 2024 10:02 1m 41s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 7, 2024 10:02 1m 41s
remove lemmas merged to mathlib; refactor absolutelyContinous_compProd .github/workflows/blueprint.yml #169: Commit a1b6cb0 pushed by RemyDegenne
April 7, 2024 09:33 6m 48s master
master
April 7, 2024 09:33 6m 48s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds … .github/workflows/blueprint.yml #168: Commit aef4cb5 pushed by RemyDegenne
April 7, 2024 09:19 7m 1s master
master
April 7, 2024 09:19 7m 1s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #10: Pull request #4 synchronize by LorenzoLuccioli
April 6, 2024 23:47 1m 39s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 6, 2024 23:47 1m 39s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #9: Pull request #4 synchronize by LorenzoLuccioli
April 5, 2024 16:54 1m 41s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 16:54 1m 41s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #8: Pull request #4 synchronize by LorenzoLuccioli
April 5, 2024 13:50 1m 44s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 13:50 1m 44s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #7: Pull request #4 synchronize by LorenzoLuccioli
April 5, 2024 12:23 1m 53s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 12:23 1m 53s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #6: Pull request #4 synchronize by LorenzoLuccioli
April 5, 2024 12:17 1m 35s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 12:17 1m 35s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #5: Pull request #4 synchronize by LorenzoLuccioli
April 5, 2024 12:16 1m 39s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 12:16 1m 39s
Add kl_compProd and relevant lemmas, update blueprint, refactor some variables .github/workflows/pull_request.yml #4: Pull request #4 opened by LorenzoLuccioli
April 5, 2024 12:00 2m 4s LorenzoLuccioli:secondary
LorenzoLuccioli:secondary
April 5, 2024 12:00 2m 4s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds .github/workflows/blueprint.yml #167: Commit a00c8a8 pushed by RemyDegenne
April 4, 2024 08:38 7m 1s master
master
April 4, 2024 08:38 7m 1s
add PRed comments .github/workflows/blueprint.yml #166: Commit 43263ee pushed by RemyDegenne
April 4, 2024 06:52 6m 54s master
master
April 4, 2024 06:52 6m 54s
add pp_dot to rnDeriv .github/workflows/blueprint.yml #165: Commit 2edaee2 pushed by RemyDegenne
April 3, 2024 17:40 7m 28s master
master
April 3, 2024 17:40 7m 28s
add a pair of simp attributes .github/workflows/blueprint.yml #164: Commit 0b4805e pushed by RemyDegenne
April 3, 2024 17:23 7m 13s master
master
April 3, 2024 17:23 7m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-04-03 or the other filters available.