Skip to content

Actions: leanprover/leagent

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 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
reassemble: dependency-aware deletion, per-unit neighbour pruning, co… Release #14: Commit 87dc16b pushed by ppotapov-aws
1m 21s main
main
1m 21s
reassemble: dependency-aware deletion, per-unit neighbour pruning, co… CI #34: Commit 87dc16b pushed by ppotapov-aws
2m 19s main
main
2m 19s
reassemble: dependency-aware deletion, per-unit neighbour pruning, combo audit CI #33: Pull request #31 opened by ppotapov-aws
2m 36s reassemble-param-audit
reassemble-param-audit
2m 36s
Support Lean v4.33.0: move pin, add to CI/release matrices (#30) Release #13: Commit 7ba831c pushed by ppotapov-aws
1m 27s v0.1.2
v0.1.2
1m 27s
Support Lean v4.33.0: move pin, add to CI/release matrices (#30) CI #32: Commit 7ba831c pushed by ppotapov-aws
2m 40s main
main
2m 40s
Support Lean v4.33.0: move pin, add to CI/release matrices (#30) Release #12: Commit 7ba831c pushed by ppotapov-aws
1m 23s main
main
1m 23s
Support Lean v4.33.0: move pin, add to CI/release matrices CI #31: Pull request #30 opened by ppotapov-aws
2m 47s support-lean-4.33
support-lean-4.33
2m 47s
extract: drop closure members with no decl_source instead of emitting… Release #11: Commit 7066975 pushed by ppotapov-aws
1m 32s main
main
1m 32s
extract: drop closure members with no decl_source instead of emitting… CI #30: Commit 7066975 pushed by ppotapov-aws
2m 6s main
main
2m 6s
extract: drop closure members with no decl_source instead of emitting them CI #29: Pull request #29 opened by ppotapov-aws
1m 59s ppotapov/extract/drop-null-source-closure-members
ppotapov/extract/drop-null-source-closure-members
1m 59s
reassemble: emit each unit as a standalone Lake project (#28) CI #28: Commit 2864e8d pushed by ppotapov-aws
2m 41s main
main
2m 41s
reassemble: emit each unit as a standalone Lake project (#28) Release #10: Commit 2864e8d pushed by ppotapov-aws
1m 29s main
main
1m 29s
reassemble: emit each unit as a standalone Lake project CI #27: Pull request #28 opened by ppotapov-aws
2m 36s ppotapov/reassemble/units-lake-project
ppotapov/reassemble/units-lake-project
2m 36s
reassemble: hole recursive & mutual proofs, isolate rewrites per file… Release #9: Commit 6bf94a7 pushed by ppotapov-aws
1m 30s main
main
1m 30s
reassemble: hole recursive & mutual proofs, isolate rewrites per file… CI #26: Commit 6bf94a7 pushed by ppotapov-aws
2m 0s main
main
2m 0s
reassemble: hole recursive & mutual proofs, isolate rewrites per file CI #25: Pull request #27 opened by ppotapov-aws
2m 4s ppotapov/reassemble/recursive_termination
ppotapov/reassemble/recursive_termination
2m 4s
Skip orphaned files (#26) Release #8: Commit a43457f pushed by ppotapov-aws
1m 35s main
main
1m 35s
Skip orphaned files (#26) CI #24: Commit a43457f pushed by ppotapov-aws
1m 37s main
main
1m 37s
Skip orphaned files CI #23: Pull request #26 opened by ppotapov-aws
1m 36s ppotapov/skip_orphans
ppotapov/skip_orphans
1m 36s
build: link the Lean runtime dynamically and strip, shrinking binarie… Release #7: Commit 109713b pushed by ppotapov-aws
1m 24s v0.1.1
v0.1.1
1m 24s
build: link the Lean runtime dynamically and strip, shrinking binarie… Release #6: Commit 109713b pushed by ppotapov-aws
1m 12s main
main
1m 12s
build: link the Lean runtime dynamically and strip, shrinking binarie… CI #22: Commit 109713b pushed by ppotapov-aws
1m 23s main
main
1m 23s
build: link the Lean runtime dynamically and strip, shrinking binaries ~140x CI #21: Pull request #25 synchronize by ppotapov-aws
1m 41s ppotapov/shrink-binaries
ppotapov/shrink-binaries
1m 41s
build: link the Lean runtime dynamically and strip, shrinking binaries ~140x CI #20: Pull request #25 opened by ppotapov-aws
27s ppotapov/shrink-binaries
ppotapov/shrink-binaries
27s
reassemble: build sorry'd trees, exclude auxiliaries, name failures Release #5: Commit 47679df pushed by ppotapov-aws
2m 3s main
main
2m 3s