Skip to content

Actions: gaetanserre/KernelHom

Actions

Build Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-project.yml
44 workflow runs
44 workflow runs

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 leanprover/lean-action from 6fe4ae6a449c9758f51250ee249ebbc7ec37ee48 to a811f12834a45345026c26b89eea877e0ddad406 Build Project #49: Pull request #33 opened by dependabot Bot
3m 59s dependabot/github_actions/leanprover/lean-action-a811f12834a45345026c26b89eea877e0ddad406
dependabot/github_actions/leanprover/lean-action-a811f12834a45345026c26b89eea877e0ddad406
3m 59s
Bump actions/checkout from 6 to 7 Build Project #48: Pull request #32 opened by dependabot Bot
3m 51s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
3m 51s
Verso doc Build Project #47: Pull request #31 opened by gaetanserre
2m 36s new_verso_doc
new_verso_doc
2m 36s
Refactor Build Project #45: Pull request #29 opened by gaetanserre
3m 4s dev
dev
3m 4s
MonoidalComp handling Build Project #44: Pull request #28 opened by gaetanserre
3m 2s dev
dev
3m 2s
Better product handling Build Project #43: Pull request #27 opened by gaetanserre
3m 8s dev
dev
3m 8s
Modules Build Project #42: Pull request #26 opened by gaetanserre
3m 10s dev
dev
3m 10s
Bump actions/github-script from 8 to 9 Build Project #41: Pull request #25 opened by dependabot Bot
4m 32s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
4m 32s
dependabot Build Project #40: Pull request #23 opened by gaetanserre
2m 45s dev
dev
2m 45s
Bump leanprover/lean-action from 65f454bc22ec83143241456eee965c2ab702ba6e to 6fe4ae6a449c9758f51250ee249ebbc7ec37ee48 Build Project #39: Pull request #24 opened by dependabot Bot
3m 35s dependabot/github_actions/leanprover/lean-action-6fe4ae6a449c9758f51250ee249ebbc7ec37ee48
dependabot/github_actions/leanprover/lean-action-6fe4ae6a449c9758f51250ee249ebbc7ec37ee48
3m 35s
style Build Project #38: Pull request #22 opened by gaetanserre
2m 10s dev
dev
2m 10s
outputs Build Project #37: Pull request #21 opened by gaetanserre
2m 33s dev
dev
2m 33s
Update Mathlib Build Project #36: Pull request #20 opened by gaetanserre
3m 30s dev
dev
3m 30s
style Build Project #35: Pull request #19 opened by gaetanserre
2m 51s dev
dev
2m 51s
style Build Project #34: Pull request #18 opened by gaetanserre
2m 5s dev
dev
2m 5s
style Build Project #33: Pull request #17 opened by gaetanserre
2m 40s dev
dev
2m 40s
style Build Project #32: Pull request #16 opened by gaetanserre
2m 45s dev
dev
2m 45s
scoped delab Build Project #31: Pull request #15 opened by gaetanserre
2m 17s dev
dev
2m 17s
Delab rules Build Project #30: Pull request #14 synchronize by gaetanserre
2m 53s dev
dev
2m 53s
Delab rules Build Project #29: Pull request #14 opened by gaetanserre
3m 34s dev
dev
3m 34s
move tools Build Project #28: Pull request #13 opened by gaetanserre
2m 31s dev
dev
2m 31s
Add ref to ulift Build Project #27: Pull request #12 opened by gaetanserre
1m 54s dev
dev
1m 54s
Manual package name Build Project #26: Pull request #11 opened by gaetanserre
2m 35s dev
dev
2m 35s
Better documentation Build Project #25: Pull request #10 synchronize by gaetanserre
2m 44s dev
dev
2m 44s
Better documentation Build Project #24: Pull request #10 opened by gaetanserre
2m 50s dev
dev
2m 50s