Skip to content

Actions: Lean-zh/LeanUp

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
55 workflow runs
55 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
feat: add mathlib and toolchains cache commands (#11) Documentation #55: Commit 86f5311 pushed by RexWzh
41s main
main
41s
feat: add mathlib and toolchains cache commands Documentation #54: Pull request #11 synchronize by RexWzh
24s rex/cache-unpack-plan
rex/cache-unpack-plan
24s
feat: add mathlib and toolchains cache commands Documentation #53: Pull request #11 synchronize by RexWzh
22s rex/cache-unpack-plan
rex/cache-unpack-plan
22s
feat: add mathlib and toolchains cache commands Documentation #52: Pull request #11 opened by RexWzh
24s rex/cache-unpack-plan
rex/cache-unpack-plan
24s
feat: add cache service and package archive flows (#10) Documentation #51: Commit e7e1c8f pushed by RexWzh
28s main
main
28s
feat: add cache service and package archive flows Documentation #50: Pull request #10 synchronize by RexWzh
24s rex/service-cache
rex/service-cache
24s
feat: add cache service and package archive flows Documentation #49: Pull request #10 synchronize by RexWzh
26s rex/service-cache
rex/service-cache
26s
feat: add cache service and package archive flows Documentation #48: Pull request #10 synchronize by RexWzh
28s rex/service-cache
rex/service-cache
28s
feat: add cache service and package archive flows Documentation #47: Pull request #10 synchronize by RexWzh
24s rex/service-cache
rex/service-cache
24s
feat: add cache service and package archive flows Documentation #46: Pull request #10 synchronize by RexWzh
21s rex/service-cache
rex/service-cache
21s
feat: add cache service and package archive flows Documentation #45: Pull request #10 synchronize by RexWzh
23s rex/service-cache
rex/service-cache
23s
feat: add cache service and package archive flows Documentation #44: Pull request #10 synchronize by RexWzh
22s rex/service-cache
rex/service-cache
22s
feat: add cache service and package archive flows Documentation #43: Pull request #10 synchronize by RexWzh
26s rex/service-cache
rex/service-cache
26s
feat: add cache service and package archive flows Documentation #42: Pull request #10 opened by RexWzh
25s rex/service-cache
rex/service-cache
25s
update version Documentation #41: Commit b320b43 pushed by RexWzh
23s main
main
23s
Merge pull request #9 from Lean-zh/rex/fix-template Documentation #40: Commit 1afc30e pushed by RexWzh
24s main
main
24s
fix: package templates and simplify setup cache modes Documentation #39: Pull request #9 opened by RexWzh
24s rex/fix-template
rex/fix-template
24s
Merge pull request #8 from Lean-zh/rex/cli-interaction Documentation #38: Commit 04ff11a pushed by RexWzh
29s main
main
29s
feat: generate manifests from packages and polish cache tools Documentation #37: Pull request #8 synchronize by RexWzh
50s rex/cli-interaction
rex/cli-interaction
50s
feat: generate manifests from packages and polish cache tools Documentation #36: Pull request #8 synchronize by RexWzh
26s rex/cli-interaction
rex/cli-interaction
26s
feat: generate manifests from packages and polish cache tools Documentation #35: Pull request #8 synchronize by RexWzh
28s rex/cli-interaction
rex/cli-interaction
28s
feat: generate manifests from packages and polish cache tools Documentation #34: Pull request #8 opened by RexWzh
26s rex/cli-interaction
rex/cli-interaction
26s
Merge pull request #7 from Lean-zh/rex/dev Documentation #33: Commit 8e07d29 pushed by RexWzh
27s main
main
27s
update docs Documentation #32: Pull request #7 opened by RexWzh
25s rex/dev
rex/dev
25s
Merge pull request #6 from Lean-zh/RexWzh-patch-1 Documentation #31: Commit 9462a02 pushed by RexWzh
31s main
main
31s