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

Skip to content

Actions: sgouezel/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

oops .github/workflows/push_pr.yml #83: Commit 690ebab pushed by sgouezel
43m 5s bump
bump
43m 5s
shake .github/workflows/push_pr.yml #82: Commit 2a13e00 pushed by sgouezel
1m 18s bump
bump
1m 18s
fix .github/workflows/push_pr.yml #81: Commit f5215eb pushed by sgouezel
40m 47s bump
bump
40m 47s
Bump mathlib to v4.23.0 Build Lean project #89: Commit 450f4d6 pushed by sgouezel
44m 6s master
master
44m 6s
Bump mathlib to v4.23.0 .github/workflows/lean-release-tag.yml #2: Commit 450f4d6 pushed by sgouezel
10s master
master
10s
remove already bumped material .github/workflows/push_pr.yml #80: Commit 7ae4cb4 pushed by sgouezel
36m 57s SG_remove_bumped
SG_remove_bumped
36m 57s
Bump mathlib to v4.22.0 (#256) Build Lean project #88: Commit 9a587eb pushed by sgouezel
40m 45s master
master
40m 45s
Bump mathlib to v4.22.0 (#256) .github/workflows/lean-release-tag.yml #1: Commit 9a587eb pushed by sgouezel
7s master
master
7s
chore: lint (#255) Build Lean project #87: Commit bc38082 pushed by sgouezel
18m 38s master
master
18m 38s
lint .github/workflows/push_pr.yml #79: Commit 073a5a8 pushed by sgouezel
39m 16s SG_lint3
SG_lint3
39m 16s
push some stuff to Mathlib directory Build Lean project #86: Commit 26798ef pushed by sgouezel
19m 5s master
master
19m 5s
Everything compiles! Build Lean project #85: Commit f2be452 pushed by sgouezel
19m 10s master
master
19m 10s
merge master .github/workflows/push_pr.yml #78: Commit 624709c pushed by sgouezel
38m 30s SG_cont
SG_cont
38m 30s
k_eq_zero done! Build Lean project #84: Commit 4173cdd pushed by sgouezel
20m 12s master
master
20m 12s
existence of multiTau minimizer .github/workflows/push_pr.yml #77: Commit 67d190c pushed by sgouezel
2m 46s SG_cont
SG_cont
2m 46s
key estimate done! Build Lean project #83: Commit d6b25d1 pushed by sgouezel
18m 23s master
master
18m 23s
finish approx-hom-pfr-no-const Build Lean project #82: Commit 69fce44 pushed by sgouezel
38m 29s master
master
38m 29s
fix .github/workflows/push_pr.yml #76: Commit 1b2a3ec pushed by sgouezel
6m 47s SG_bump2
SG_bump2
6m 47s
progress .github/workflows/push_pr.yml #75: Commit a95cb47 pushed by sgouezel
5m 52s SG_bump2
SG_bump2
5m 52s
Merge remote-tracking branch 'upstream/bump' into bump2 .github/workflows/push_pr.yml #74: Commit 928c319 pushed by sgouezel
4m 22s bump2
bump2
4m 22s
one more .github/workflows/push_pr.yml #73: Commit 036eec2 pushed by sgouezel
4m 29s bump
bump
4m 29s
one more .github/workflows/push_pr.yml #72: Commit f84e9af pushed by sgouezel
4m 12s bump
bump
4m 12s
fix two files .github/workflows/push_pr.yml #71: Commit b158cb7 pushed by sgouezel
4m 4s bump
bump
4m 4s
Bump mathlib to v4.18.0 Build Lean project #81: Commit 0010cb5 pushed by sgouezel
30m 9s master
master
30m 9s
update mathlib .github/workflows/push_pr.yml #70: Commit e2df1d0 pushed by sgouezel
6m 44s SG_bump
SG_bump
6m 44s