Skip to content

Actions: teorth/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #263 from kim-em/fix-unused-arguments-linter Build Lean project #805: Commit d787a70 pushed by teorth
16m 21s master
master
16m 21s
fix: add nolint unusedArguments to Config structure Build Lean project #804: Pull request #263 opened by kim-em
4m 8s kim-em:fix-unused-arguments-linter
kim-em:fix-unused-arguments-linter
4m 8s
Fix broken reference to Lean declarations in the blueprint Build Lean project #803: Commit 49e9026 pushed by YaelDillies
46m 4s master
master
46m 4s
Fix broken reference to Lean declarations in the blueprint Build Lean project #802: Commit 07fd848 pushed by YaelDillies
5m 27s master
master
5m 27s
Bump mathlib .github/workflows/lean-release-tag.yml #5: Commit 2fb1cac pushed by YaelDillies
11s master
master
11s
Bump mathlib Build Lean project #801: Commit 2fb1cac pushed by YaelDillies
10m 47s master
master
10m 47s
Use checkdecls Build Lean project #800: Commit 3efac8a pushed by YaelDillies
11m 9s master
master
11m 9s
Use checkdecls Build Lean project #799: Commit 151235c pushed by YaelDillies
1m 18s master
master
1m 18s
Use leanprover-community/docgen-action Build Lean project #798: Commit c2181af pushed by YaelDillies
10m 42s master
master
10m 42s
fix: add nolint unusedArguments to Config structure .github/workflows/push_pr.yml #663: Pull request #262 opened by kim-em
45m 55s kim-em:fix-unused-arguments
kim-em:fix-unused-arguments
45m 55s
Bump mathlib to v4.25.0 .github/workflows/lean-release-tag.yml #4: Commit e1095d5 pushed by YaelDillies
22s master
master
22s
Bump mathlib to v4.25.0 Build Lean project #797: Commit e1095d5 pushed by YaelDillies
45m 46s master
master
45m 46s
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