Skip to content

Actions: Lean-MoDS/StatsMLlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
194 workflow runs
194 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #56 from Lean-MoDS/refactor/remove-deplicate-theorem CI #147: Commit 4d23533 pushed by tukamilano
3m 37s main
main
3m 37s
pages build and deployment pages-build-deployment #47: by tukamilano
49s main
main
49s
remove duplicate theorem CI #146: Pull request #56 opened by tukamilano
3m 32s refactor/remove-deplicate-theorem
refactor/remove-deplicate-theorem
3m 32s
remove duplicate theorem CI #145: Commit e8ad5c4 pushed by tukamilano
3m 33s refactor/remove-deplicate-theorem
refactor/remove-deplicate-theorem
3m 33s
Merge pull request #54 from Lean-MoDS/refactor/remove-textbook-number CI #144: Commit 5aa1af1 pushed by tukamilano
3m 27s main
main
3m 27s
pages build and deployment pages-build-deployment #46: by tukamilano
1m 12s main
main
1m 12s
remove unresolvable theorem number CI #143: Pull request #54 opened by tukamilano
3m 55s refactor/remove-textbook-number
refactor/remove-textbook-number
3m 55s
remove unresolvable theorem number CI #142: Commit accc1ca pushed by tukamilano
3m 26s refactor/remove-textbook-number
refactor/remove-textbook-number
3m 26s
Merge pull request #53 from Lean-MoDS/generalize/row-independence CI #141: Commit 47c1c40 pushed by tukamilano
3m 13s main
main
3m 13s
pages build and deployment pages-build-deployment #45: by tukamilano
48s main
main
48s
relaxing independence CI #140: Pull request #53 opened by tukamilano
2m 41s generalize/row-independence
generalize/row-independence
2m 41s
remove textbook's theorem number CI #139: Commit 5296694 pushed by tukamilano
2m 31s generalize/row-independence
generalize/row-independence
2m 31s
relaxing independence CI #138: Commit 81cfbb1 pushed by tukamilano
2m 38s generalize/row-independence
generalize/row-independence
2m 38s
Update README.md CI #137: Commit ba9af08 pushed by tukamilano
9m 37s main
main
9m 37s
pages build and deployment pages-build-deployment #44: by tukamilano
39s main
main
39s
Merge pull request #52 from Lean-MoDS/chore/mathlib-v4.34.0 CI #136: Commit 2fa4d4c pushed by tukamilano
10m 25s v4.34.0
v4.34.0
10m 25s
Merge pull request #52 from Lean-MoDS/chore/mathlib-v4.34.0 CI #135: Commit 2fa4d4c pushed by tukamilano
9m 14s main
main
9m 14s
pages build and deployment pages-build-deployment #43: by tukamilano
39s main
main
39s
update to v4.34 CI #134: Pull request #52 opened by tukamilano
9m 54s chore/mathlib-v4.34.0
chore/mathlib-v4.34.0
9m 54s
update to v4.34 CI #133: Commit 9f82b01 pushed by tukamilano
10m 29s chore/mathlib-v4.34.0
chore/mathlib-v4.34.0
10m 29s
Merge pull request #50 from everymonday100/add-interlacing-pr CI #132: Commit b5893e8 pushed by tukamilano
2m 9s main
main
2m 9s
pages build and deployment pages-build-deployment #42: by tukamilano
46s main
main
46s
Add InterlacingPR: Courant-Fischer monotonicity under Rayleigh-preserving embeddings (Cauchy interlacing core) CI #131: Pull request #50 opened by everymonday100
1m 42s everymonday100:add-interlacing-pr
everymonday100:add-interlacing-pr
1m 42s
Merge pull request #49 from Lean-MoDS/cleanup/max-heartbeats CI #130: Commit 8e6661f pushed by tukamilano
8m 55s main
main
8m 55s
pages build and deployment pages-build-deployment #41: by tukamilano
36s main
main
36s