Skip to content

Actions: Lean-zh/LeanUp

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
63 workflow runs
63 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
docs: add intranet environment restore skill Documentation #63: Commit 711869e pushed by LooKeng
25s main
main
25s
docs: add intranet environment restore skill Documentation #62: Pull request #15 synchronize by LooKeng
26s rex/docs-intranet-serve-skill
rex/docs-intranet-serve-skill
26s
docs: add intranet environment restore skill Documentation #61: Pull request #15 opened by LooKeng
21s rex/docs-intranet-serve-skill
rex/docs-intranet-serve-skill
21s
fix: accelerate archives with pigz when available (#14) Documentation #60: Commit a3e0ee8 pushed by LooKeng
21s main
main
21s
fix: accelerate archives with pigz when available Documentation #59: Pull request #14 opened by LooKeng
26s rex/leanup-pigz-0.3.1-clean
rex/leanup-pigz-0.3.1-clean
26s
feat: add resource-oriented Lean environment asset CLI (#12) Documentation #58: Commit 3939a36 pushed by LooKeng
29s main
main
29s
feat: add resource-oriented Lean environment asset CLI Documentation #57: Pull request #12 synchronize by LooKeng
22s rex/leanup-resource-cli
rex/leanup-resource-cli
22s
feat: add resource-oriented Lean environment asset CLI Documentation #56: Pull request #12 opened by LooKeng
27s rex/leanup-resource-cli
rex/leanup-resource-cli
27s
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