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 the doc cache commands back, in case they are useful even if buggy .github/workflows/blueprint.yml #141: Commit 16a6a02 pushed by RemyDegenne
March 29, 2024 19:42 6m 33s master
master
March 29, 2024 19:42 6m 33s
remove some doc cache commands .github/workflows/blueprint.yml #140: Commit 136b8cc pushed by RemyDegenne
March 29, 2024 19:20 16m 51s master
master
March 29, 2024 19:20 16m 51s
add new dummy lemma to condFDiv to fix the doc? .github/workflows/blueprint.yml #139: Commit 71e109d pushed by RemyDegenne
March 29, 2024 19:12 6m 27s master
master
March 29, 2024 19:12 6m 27s
try change to the tex file with new ref to condFDiv to fix the doc .github/workflows/blueprint.yml #138: Commit 8a19019 pushed by RemyDegenne
March 29, 2024 19:03 6m 55s master
master
March 29, 2024 19:03 6m 55s
try to change condFDiv to fix the doc? .github/workflows/blueprint.yml #137: Commit 1f0a7e9 pushed by RemyDegenne
March 29, 2024 18:53 6m 22s master
master
March 29, 2024 18:53 6m 22s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds … .github/workflows/blueprint.yml #136: Commit a621953 pushed by RemyDegenne
March 29, 2024 18:41 7m 13s master
master
March 29, 2024 18:41 7m 13s
fix uses .github/workflows/blueprint.yml #135: Commit 2f1092a pushed by RemyDegenne
March 29, 2024 13:29 6m 19s master
master
March 29, 2024 13:29 6m 19s
blueprint: fDiv trim .github/workflows/blueprint.yml #134: Commit 65331ab pushed by RemyDegenne
March 29, 2024 13:15 6m 42s master
master
March 29, 2024 13:15 6m 42s
blueprint: detail le_fDiv .github/workflows/blueprint.yml #133: Commit 368bcfc pushed by RemyDegenne
March 29, 2024 13:03 6m 27s master
master
March 29, 2024 13:03 6m 27s
add uses .github/workflows/blueprint.yml #132: Commit d646531 pushed by RemyDegenne
March 29, 2024 09:49 6m 18s master
master
March 29, 2024 09:49 6m 18s
blueprint: add Hellinger alpha, and more .github/workflows/blueprint.yml #131: Commit bb77d9d pushed by RemyDegenne
March 29, 2024 09:30 6m 16s master
master
March 29, 2024 09:30 6m 16s
finish fDiv_trim_le .github/workflows/blueprint.yml #130: Commit 73350a3 pushed by RemyDegenne
March 29, 2024 06:54 6m 22s master
master
March 29, 2024 06:54 6m 22s
progress towards fDiv_trim_le .github/workflows/blueprint.yml #129: Commit bc60d35 pushed by RemyDegenne
March 28, 2024 18:32 6m 38s master
master
March 28, 2024 18:32 6m 38s
minor lemmas .github/workflows/blueprint.yml #128: Commit c613a6a pushed by RemyDegenne
March 27, 2024 20:18 6m 30s master
master
March 27, 2024 20:18 6m 30s
remove material now in mathlib .github/workflows/blueprint.yml #127: Commit 3afad28 pushed by RemyDegenne
March 27, 2024 16:35 15m 10s master
master
March 27, 2024 16:35 15m 10s
generalize le_fDiv, fDiv_nonneg .github/workflows/blueprint.yml #126: Commit 121c3b9 pushed by RemyDegenne
March 27, 2024 14:54 6m 56s master
master
March 27, 2024 14:54 6m 56s
add file FDiv.Trim .github/workflows/blueprint.yml #125: Commit 7eb6562 pushed by RemyDegenne
March 27, 2024 09:36 6m 38s master
master
March 27, 2024 09:36 6m 38s
fix .github/workflows/blueprint.yml #124: Commit e90f9c9 pushed by RemyDegenne
March 27, 2024 06:52 15m 26s master
master
March 27, 2024 06:52 15m 26s
prove fDiv_map_measurableEmbedding .github/workflows/blueprint.yml #123: Commit 5a6a7d4 pushed by RemyDegenne
March 26, 2024 21:10 7m 47s master
master
March 26, 2024 21:10 7m 47s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds .github/workflows/blueprint.yml #122: Commit d6b7948 pushed by RemyDegenne
March 26, 2024 09:12 6m 36s master
master
March 26, 2024 09:12 6m 36s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds … .github/workflows/blueprint.yml #121: Commit f33528a pushed by RemyDegenne
March 26, 2024 07:37 7m 30s master
master
March 26, 2024 07:37 7m 30s
Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds .github/workflows/blueprint.yml #120: Commit 8d21fb0 pushed by RemyDegenne
March 25, 2024 12:34 6m 44s master
master
March 25, 2024 12:34 6m 44s
prove derivAtTop_add .github/workflows/blueprint.yml #119: Commit 0b84288 pushed by RemyDegenne
March 25, 2024 09:26 6m 37s master
master
March 25, 2024 09:26 6m 37s
prove derivAtTop_mul_log .github/workflows/blueprint.yml #118: Commit 5c49654 pushed by RemyDegenne
March 25, 2024 09:07 6m 43s master
master
March 25, 2024 09:07 6m 43s
add leanok .github/workflows/blueprint.yml #117: Commit 4c35105 pushed by RemyDegenne
March 25, 2024 08:55 6m 35s master
master
March 25, 2024 08:55 6m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-03-25 or the other filters available.