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

fix renyiDiv .github/workflows/blueprint.yml #116: Commit 6d7101c pushed by RemyDegenne
March 25, 2024 08:27 6m 59s master
master
March 25, 2024 08:27 6m 59s
fix .github/workflows/blueprint.yml #115: Commit 681fa5e pushed by RemyDegenne
March 25, 2024 08:26 6m 39s master
master
March 25, 2024 08:26 6m 39s
add leanok .github/workflows/blueprint.yml #114: Commit 3fe43a1 pushed by RemyDegenne
March 24, 2024 15:21 6m 55s master
master
March 24, 2024 15:21 6m 55s
prove fDiv_nonneg .github/workflows/blueprint.yml #113: Commit 6cdbdd5 pushed by RemyDegenne
March 24, 2024 15:18 7m 6s master
master
March 24, 2024 15:18 7m 6s
prove fDiv_comp_left/right_le .github/workflows/blueprint.yml #112: Commit f4b292b pushed by RemyDegenne
March 24, 2024 14:36 7m 16s master
master
March 24, 2024 14:36 7m 16s
add leanok .github/workflows/blueprint.yml #111: Commit a0b234b pushed by RemyDegenne
March 24, 2024 14:05 7m 1s master
master
March 24, 2024 14:05 7m 1s
add leanok .github/workflows/blueprint.yml #110: Commit 73e6925 pushed by RemyDegenne
March 24, 2024 13:19 16m 26s master
master
March 24, 2024 13:19 16m 26s
bump mathlib .github/workflows/blueprint.yml #109: Commit 2d02d16 pushed by RemyDegenne
March 24, 2024 13:15 15m 57s master
master
March 24, 2024 13:15 15m 57s
reorder, rename .github/workflows/blueprint.yml #108: Commit 50de9d7 pushed by RemyDegenne
March 24, 2024 13:05 6m 30s master
master
March 24, 2024 13:05 6m 30s
finish proof of data processing for fDiv .github/workflows/blueprint.yml #107: Commit aebddad pushed by RemyDegenne
March 24, 2024 12:53 6m 34s master
master
March 24, 2024 12:53 6m 34s
more work .github/workflows/blueprint.yml #106: Commit 3caa1d1 pushed by RemyDegenne
March 23, 2024 21:44 7m 16s master
master
March 23, 2024 21:44 7m 16s
prove fDiv_compProd_left .github/workflows/blueprint.yml #105: Commit 78c3660 pushed by RemyDegenne
March 23, 2024 13:17 6m 16s master
master
March 23, 2024 13:17 6m 16s
remove all sorry in FDiv .github/workflows/blueprint.yml #104: Commit f0f8ac5 pushed by RemyDegenne
March 23, 2024 09:10 6m 27s master
master
March 23, 2024 09:10 6m 27s
more about derivAtTop .github/workflows/blueprint.yml #103: Commit 74ea110 pushed by RemyDegenne
March 20, 2024 21:55 6m 38s master
master
March 20, 2024 21:55 6m 38s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds .github/workflows/blueprint.yml #102: Commit f182647 pushed by RemyDegenne
March 20, 2024 17:31 6m 31s master
master
March 20, 2024 17:31 6m 31s
Merge pull request #1 from PatrickMassot/patch-1 .github/workflows/blueprint.yml #101: Commit d276238 pushed by RemyDegenne
March 20, 2024 15:45 6m 42s master
master
March 20, 2024 15:45 6m 42s
more kl lemmas .github/workflows/blueprint.yml #100: Commit 9373d22 pushed by RemyDegenne
March 20, 2024 11:54 6m 37s master
master
March 20, 2024 11:54 6m 37s
add bbl to gitignore .github/workflows/blueprint.yml #99: Commit 7d9ecc3 pushed by RemyDegenne
March 20, 2024 09:59 6m 28s master
master
March 20, 2024 09:59 6m 28s
remove bbl .github/workflows/blueprint.yml #98: Commit 3be93ea pushed by RemyDegenne
March 20, 2024 09:59 6m 52s master
master
March 20, 2024 09:59 6m 52s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds … .github/workflows/blueprint.yml #97: Commit 030b360 pushed by RemyDegenne
March 20, 2024 09:54 7m 19s master
master
March 20, 2024 09:54 7m 19s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds .github/workflows/blueprint.yml #96: Commit d420978 pushed by RemyDegenne
March 19, 2024 14:35 7m 6s master
master
March 19, 2024 14:35 7m 6s
some progress .github/workflows/blueprint.yml #95: Commit c03c169 pushed by RemyDegenne
March 19, 2024 07:51 6m 35s master
master
March 19, 2024 07:51 6m 35s
rework Renyi div def .github/workflows/blueprint.yml #94: Commit 447f060 pushed by RemyDegenne
March 18, 2024 15:40 6m 33s master
master
March 18, 2024 15:40 6m 33s
fix name .github/workflows/blueprint.yml #93: Commit 22269cd pushed by RemyDegenne
March 18, 2024 12:58 6m 28s master
master
March 18, 2024 12:58 6m 28s
rename condFDiv .github/workflows/blueprint.yml #92: Commit 7634e0e pushed by RemyDegenne
March 18, 2024 12:40 5m 41s master
master
March 18, 2024 12:40 5m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-03-18 or the other filters available.