Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
805 workflow runs
805 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #230 from sgouezel/SG_more Build Lean project #671: Commit e4b5612 pushed by teorth
November 9, 2024 01:36 12m 39s master
master
November 9, 2024 01:36 12m 39s
More lemmas on the rho functional .github/workflows/push_pr.yml #611: Pull request #230 synchronize by sgouezel
November 8, 2024 20:32 6m 29s sgouezel:SG_more
sgouezel:SG_more
November 8, 2024 20:32 6m 29s
More lemmas on the rho functional .github/workflows/push_pr.yml #610: Pull request #230 opened by sgouezel
November 8, 2024 20:24 6m 7s sgouezel:SG_more
sgouezel:SG_more
November 8, 2024 20:24 6m 7s
Bump mathlib Build Lean project #670: Commit a422073 pushed by YaelDillies
November 5, 2024 09:59 26m 25s master
master
November 5, 2024 09:59 26m 25s
nonnegativity of cond multidistance Build Lean project #669: Commit 514591d pushed by teorth
November 4, 2024 18:33 12m 43s master
master
November 4, 2024 18:33 12m 43s
Merge pull request #229 from FLDutchmann/master Build Lean project #668: Commit 26d310b pushed by teorth
November 4, 2024 16:27 13m 42s master
master
November 4, 2024 16:27 13m 42s
add cond-multidist-nonneg Build Lean project #667: Commit 0900937 pushed by teorth
November 4, 2024 16:23 12m 38s master
master
November 4, 2024 16:23 12m 38s
Task A.1 .github/workflows/push_pr.yml #609: Pull request #229 synchronize by FLDutchmann
November 4, 2024 16:17 6m 23s FLDutchmann:master
FLDutchmann:master
November 4, 2024 16:17 6m 23s
Task A.1 .github/workflows/push_pr.yml #608: Pull request #229 synchronize by FLDutchmann
November 4, 2024 15:56 6m 37s FLDutchmann:master
FLDutchmann:master
November 4, 2024 15:56 6m 37s
Task A.1 .github/workflows/push_pr.yml #607: Pull request #229 synchronize by FLDutchmann
November 4, 2024 15:35 6m 16s FLDutchmann:master
FLDutchmann:master
November 4, 2024 15:35 6m 16s
Task A.1 .github/workflows/push_pr.yml #606: Pull request #229 opened by FLDutchmann
November 4, 2024 15:22 6m 28s FLDutchmann:master
FLDutchmann:master
November 4, 2024 15:22 6m 28s
Merge pull request #228 from sgouezel/SG_KL2 Build Lean project #666: Commit 238db8a pushed by teorth
November 4, 2024 15:04 13m 26s master
master
November 4, 2024 15:04 13m 26s
Start on the rho functional .github/workflows/push_pr.yml #605: Pull request #228 synchronize by sgouezel
November 4, 2024 12:48 6m 21s sgouezel:SG_KL2
sgouezel:SG_KL2
November 4, 2024 12:48 6m 21s
Start on the rho functional .github/workflows/push_pr.yml #604: Pull request #228 opened by sgouezel
November 4, 2024 12:31 6m 14s sgouezel:SG_KL2
sgouezel:SG_KL2
November 4, 2024 12:31 6m 14s
Merge branch 'master' of https://github.com/teorth/pfr Build Lean project #665: Commit 3d68572 pushed by teorth
November 3, 2024 00:48 12m 43s master
master
November 3, 2024 00:48 12m 43s
start on PFR Build Lean project #664: Commit 420af88 pushed by YaelDillies
November 2, 2024 10:37 53m 2s master
master
November 2, 2024 10:37 53m 2s
Bump mathlib Build Lean project #663: Commit 3dd249a pushed by YaelDillies
November 2, 2024 09:54 26m 49s master
master
November 2, 2024 09:54 26m 49s
start on KL divergence .github/workflows/push_pr.yml #603: Pull request #227 opened by sgouezel
November 1, 2024 20:26 6m 11s sgouezel:master
sgouezel:master
November 1, 2024 20:26 6m 11s
Clean up immediately upstreamable prerequisites Build Lean project #662: Commit 4116dce pushed by YaelDillies
October 30, 2024 10:23 12m 28s master
master
October 30, 2024 10:23 12m 28s
Clean up immediately upstreamable prerequisites Build Lean project #661: Commit 1aa59db pushed by YaelDillies
October 29, 2024 23:39 12m 46s master
master
October 29, 2024 23:39 12m 46s
Bump mathlib Build Lean project #660: Commit e1aa458 pushed by YaelDillies
October 29, 2024 14:06 26m 3s master
master
October 29, 2024 14:06 26m 3s
Bump mathlib Build Lean project #659: Commit ee35aa0 pushed by YaelDillies
October 19, 2024 11:42 26m 46s master
master
October 19, 2024 11:42 26m 46s
Clean PFR.Mathlib.Probability.Kernel.MeasureCompProd up Build Lean project #658: Commit 9ac7f5b pushed by YaelDillies
October 18, 2024 13:32 13m 18s master
master
October 18, 2024 13:32 13m 18s
Bump mathlib Build Lean project #657: Commit b09967a pushed by YaelDillies
October 17, 2024 18:26 27m 4s master
master
October 17, 2024 18:26 27m 4s
Bump mathlib Build Lean project #656: Commit 4f39147 pushed by YaelDillies
October 17, 2024 15:07 26m 8s master
master
October 17, 2024 15:07 26m 8s