Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove upstreamed material on product of finite measures (#257) Build Lean project #794: Commit f80f70e pushed by YaelDillies
39m 22s master
master
39m 22s
chore: remove upstreamed material on product of finite measures .github/workflows/push_pr.yml #649: Pull request #257 opened by sgouezel
36m 18s sgouezel:SG_remove_bumped
sgouezel:SG_remove_bumped
36m 18s
Bump mathlib to v4.22.0 (#256) .github/workflows/lean-release-tag.yml #1: Commit 9a587eb pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.22.0 (#256) Build Lean project #793: Commit 9a587eb pushed by YaelDillies
40m 24s master
master
40m 24s
chore: bump toolchain to v4.22.0 .github/workflows/push_pr.yml #648: Pull request #256 synchronize by YaelDillies
37m 11s mo271:master
mo271:master
37m 11s
Trigger the PR workflow on PRs from forks too Build Lean project #792: Commit de5fad0 pushed by YaelDillies
18m 5s master
master
18m 5s
lean-release-tag workflow Build Lean project #791: Commit 4194416 pushed by YaelDillies
42m 32s master
master
42m 32s
chore: lint (#255) Build Lean project #790: Commit bc38082 pushed by YaelDillies
19m 33s master
master
19m 33s
push some stuff to Mathlib directory Build Lean project #789: Commit 26798ef pushed by teorth
17m 38s master
master
17m 38s
Everything compiles! Build Lean project #788: Commit f2be452 pushed by teorth
19m 30s master
master
19m 30s
update with new spelling of ent_of_sum_le_ent_of_sum Build Lean project #787: Commit da9413b pushed by teorth
20m 7s master
master
20m 7s
Merge pull request #244 from Paul-Lez/ent_of_sum Build Lean project #786: Commit 45e2496 pushed by teorth
7m 25s master
master
7m 25s
Merge pull request #254 from sgouezel/SG_cont Build Lean project #785: Commit 951cb2d pushed by teorth
18m 33s master
master
18m 33s
k_eq_zero done! Build Lean project #784: Commit 4173cdd pushed by teorth
17m 42s master
master
17m 42s
closing in on k_eq_zero. Three sorries remaining Build Lean project #783: Commit e4e9f31 pushed by teorth
17m 38s master
master
17m 38s
key estimate done! Build Lean project #782: Commit d6b25d1 pushed by teorth
17m 38s master
master
17m 38s
h9 done. But last one (h8) is tricky, requires some independence tools Build Lean project #781: Commit 9abe53e pushed by teorth
18m 23s master
master
18m 23s
h6 done. 2 to go Build Lean project #780: Commit de6cb6b pushed by teorth
17m 21s master
master
17m 21s
h4 done. 3 to go Build Lean project #779: Commit 3c88c04 pushed by teorth
17m 9s master
master
17m 9s
h3 done. 4 to go Build Lean project #778: Commit 80d82f4 pushed by teorth
18m 32s master
master
18m 32s
h2 done. 5 more to go! Build Lean project #777: Commit 7e539a7 pushed by teorth
17m 16s master
master
17m 16s
Finish h7. 6 more to go! Build Lean project #776: Commit 305c826 pushed by teorth
18m 0s master
master
18m 0s
Finish h5. 7 more to go! Build Lean project #775: Commit ddb6020 pushed by teorth
17m 50s master
master
17m 50s
Finish h1. 8 more claims to go! Build Lean project #774: Commit 7ac3998 pushed by teorth
17m 22s master
master
17m 22s
getting started on mutual_information_le. Several dependent type issues Build Lean project #773: Commit eeb9d63 pushed by teorth
18m 19s master
master
18m 19s