Skip to content

Actions: Paul-Lez/PersistentDecomp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 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
Bump to v4.31.0 Build Lean project #71: Commit 4e710a8 pushed by YaelDillies
21m 33s master
master
21m 33s
Bump to v4.31.0 .github/workflows/lean-release-tag.yml #14: Commit 4e710a8 pushed by YaelDillies
8s master
master
8s
Bump to v4.31.0 .github/workflows/update.yml #41: Commit 4e710a8 pushed by YaelDillies
Failure master
master
Failure
Bump to v4.31.0-rc2 .github/workflows/lean-release-tag.yml #13: Commit cbf8c06 pushed by YaelDillies
10s master
master
10s
Bump to v4.31.0-rc2 Build Lean project #70: Commit cbf8c06 pushed by YaelDillies
27m 16s master
master
27m 16s
Bump to v4.31.0-rc2 .github/workflows/update.yml #40: Commit cbf8c06 pushed by YaelDillies
Failure master
master
Failure
Bump to v4.31.0-rc1 .github/workflows/lean-release-tag.yml #12: Commit c3617ed pushed by YaelDillies
9s master
master
9s
Bump to v4.31.0-rc1 Build Lean project #69: Commit c3617ed pushed by YaelDillies
29m 25s master
master
29m 25s
Bump to v4.31.0-rc1 .github/workflows/update.yml #39: Commit c3617ed pushed by YaelDillies
-1s master
master
-1s
Prove existence of maximal decomposition Build Lean project #68: Pull request #8 synchronize by Paul-Lez
1m 54s finish-proofs
finish-proofs
1m 54s
fix build errors .github/workflows/update.yml #38: Commit 41f8d94 pushed by Paul-Lez
Failure finish-proofs
finish-proofs
Failure
Prove existence of maximal decomposition Build Lean project #67: Pull request #8 synchronize by Paul-Lez
1m 20s finish-proofs
finish-proofs
1m 20s
Refactor maximal decomposition proof .github/workflows/update.yml #37: Commit c6b6c5f pushed by Paul-Lez
Failure finish-proofs
finish-proofs
Failure
Prove endomorphism ring locality Build Lean project #66: Pull request #7 synchronize by Paul-Lez
2m 8s endormorphism
endormorphism
2m 8s
Prove endomorphism ring locality .github/workflows/update.yml #36: Commit 17eeac9 pushed by Paul-Lez
Failure endormorphism
endormorphism
Failure
Bump to v4.30.0 Build Lean project #65: Commit b26fe3d pushed by YaelDillies
20m 33s master
master
20m 33s
Bump to v4.30.0 .github/workflows/lean-release-tag.yml #11: Commit b26fe3d pushed by YaelDillies
10s master
master
10s
Bump to v4.30.0 .github/workflows/update.yml #35: Commit b26fe3d pushed by YaelDillies
Failure master
master
Failure
Finish bump functor API Build Lean project #64: Pull request #9 opened by Paul-Lez
2m 29s bump-functor
bump-functor
2m 29s
Finish bump functor API .github/workflows/update.yml #34: Commit 635c979 pushed by Paul-Lez
Failure bump-functor
bump-functor
Failure
Prove existence of maximal decomposition Build Lean project #63: Pull request #8 opened by Paul-Lez
2m 52s finish-proofs
finish-proofs
2m 52s
Prove endomorphism ring locality Build Lean project #62: Pull request #7 opened by Paul-Lez
2m 43s endormorphism
endormorphism
2m 43s
Prove endomorphism ring locality .github/workflows/update.yml #33: Commit e7549bc pushed by Paul-Lez
Failure endormorphism
endormorphism
Failure
Refactor maximal decomposition proof .github/workflows/update.yml #32: Commit 0c205ca pushed by Paul-Lez
Failure finish-proofs
finish-proofs
Failure
finish proofs .github/workflows/update.yml #31: Commit c1497bb pushed by Paul-Lez
Failure finish-proofs
finish-proofs
Failure