Skip to content

Actions: leanprover-community/bundle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow runs
179 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
feat: add Waterproof bundle support Build and Test Bundle #179: Pull request #47 opened by GitLuckier
6m 26s impermeable:add-waterproof-bundle-option
impermeable:add-waterproof-bundle-option
6m 26s
feat: package as installable CLI via pyproject.toml Build and Test Bundle #178: Commit b584b71 pushed by kim-em
30m 10s main
main
30m 10s
docs: update README for elan symlink, unset ELAN_HOME, and missing flags Build and Test Bundle #177: Commit 00d36a6 pushed by kim-em
29m 14s main
main
29m 14s
fix: stop pruning .ir payloads — the LSP loads them at runtime Build and Test Bundle #176: Commit af237af pushed by kim-em
29m 3s main
main
29m 3s
test: fail CI when infoview shows missing-file errors Build and Test Bundle #175: Commit f7e58e4 pushed by kim-em
30m 2s main
main
30m 2s
ci: add test-macos-gui-fresh — covers macOS without elan Build and Test Bundle #174: Commit df5731f pushed by kim-em
29m 16s main
main
29m 16s
ci: restore no-elan GUI coverage that I accidentally dropped Build and Test Bundle #173: Commit c05517d pushed by kim-em
27m 15s main
main
27m 15s
test: detect Lean toolchain-install prompt in CI (#46) Build and Test Bundle #172: Commit 7ac936b pushed by kim-em
33m 9s main
main
33m 9s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #171: Pull request #46 synchronize by kim-em
29m 28s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
29m 28s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #170: Pull request #46 synchronize by kim-em
30m 37s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
30m 37s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #169: Pull request #46 synchronize by kim-em
32m 53s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
32m 53s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #168: Pull request #46 synchronize by kim-em
44m 30s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
44m 30s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #167: Pull request #46 synchronize by kim-em
40m 32s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
40m 32s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #166: Pull request #46 synchronize by kim-em
38m 56s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
38m 56s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #165: Pull request #46 synchronize by kim-em
42m 32s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
42m 32s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #164: Pull request #46 synchronize by kim-em
16s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
16s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #163: Pull request #46 synchronize by kim-em
41m 24s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
41m 24s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #162: Pull request #46 synchronize by kim-em
41m 22s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
41m 22s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #161: Pull request #46 synchronize by kim-em
39m 19s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
39m 19s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #160: Pull request #46 synchronize by kim-em
30m 21s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
30m 21s
test: detect Lean toolchain-install prompt in CI Build and Test Bundle #159: Pull request #46 opened by kim-em
29m 13s ci/detect-toolchain-prompt
ci/detect-toolchain-prompt
29m 13s
test: detect missing extension and broken portable mode in CI (#45) Build and Test Bundle #158: Commit 3a37015 pushed by kim-em
29m 26s main
main
29m 26s
test: detect missing extension and broken portable mode in CI Build and Test Bundle #157: Pull request #45 synchronize by kim-em
27m 50s ci/detect-missing-extension
ci/detect-missing-extension
27m 50s
test: detect missing extension and broken portable mode in CI Build and Test Bundle #156: Pull request #45 synchronize by kim-em
4m 9s ci/detect-missing-extension
ci/detect-missing-extension
4m 9s
test: detect missing extension and broken portable mode in CI Build and Test Bundle #155: Pull request #45 synchronize by kim-em
29m 17s ci/detect-missing-extension
ci/detect-missing-extension
29m 17s