Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #656: Pull request #259 synchronize by YaelDillies
42m 28s bump
bump
42m 28s
Fix tsum filter issues. Also remove upstreamed material on the produc… .github/workflows/push_pr.yml #655: Commit a95f19b pushed by YaelDillies
42m 30s bump
bump
42m 30s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #654: Pull request #259 synchronize by YaelDillies
7m 30s bump
bump
7m 30s
partial fix (#260) .github/workflows/push_pr.yml #653: Commit 20e0bdd pushed by YaelDillies
7m 41s bump
bump
7m 41s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #652: Pull request #259 opened by YaelDillies
3m 14s bump
bump
3m 14s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #651: Commit d34fcba pushed by YaelDillies
3m 6s bump
bump
3m 6s
Bump mathlib to v4.23.0 Build Lean project #795: Commit 450f4d6 pushed by YaelDillies
37m 1s master
master
37m 1s
Bump mathlib to v4.23.0 .github/workflows/lean-release-tag.yml #2: Commit 450f4d6 pushed by YaelDillies
9s master
master
9s
progress .github/workflows/push_pr.yml #650: Commit 923c2a2 pushed by YaelDillies
7m 46s bump
bump
7m 46s
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