Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.24.0 (#259) .github/workflows/lean-release-tag.yml #3: Commit 7a3d5d4 pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.24.0 (#259) Build Lean project #796: Commit 7a3d5d4 pushed by YaelDillies
39m 51s master
master
39m 51s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #662: Pull request #259 synchronize by YaelDillies
40m 22s bump
bump
40m 22s
fix .github/workflows/push_pr.yml #661: Commit 61b949a pushed by YaelDillies
39m 22s bump
bump
39m 22s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #660: Pull request #259 synchronize by YaelDillies
7m 24s bump
bump
7m 24s
fix .github/workflows/push_pr.yml #659: Commit 1a23e32 pushed by YaelDillies
7m 46s bump
bump
7m 46s
Bump mathlib to v4.24.0 .github/workflows/push_pr.yml #658: Pull request #259 synchronize by YaelDillies
3m 10s bump
bump
3m 10s
attempt .github/workflows/push_pr.yml #657: Commit 0a65ec3 pushed by YaelDillies
3m 22s bump
bump
3m 22s
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