Skip to content

fix: run Lake operations in target process #962

fix: run Lake operations in target process

fix: run Lake operations in target process #962

Triggered via pull request August 30, 2026 20:21
Status Cancelled
Total duration 5m 47s
Artifacts

ci.yml

on: pull_request
beam-release-line-compat (leanprover/lean4:v4.31.0-rc1)
2m 31s
beam-release-line-compat (leanprover/lean4:v4.31.0-rc1)
Matrix: beam-fast
Matrix: beam-install
Matrix: beam-rocq
Matrix: beam-slow
Matrix: beam-toolchain-compat
Matrix: lsp
Matrix: mcp-conformance
Matrix: mcp-modern
Matrix: shell-lint
Fit to window
Zoom out
Zoom in

Annotations

28 errors and 3 warnings
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.28.0)
Canceling since a higher priority waiting request for CI-244 exists
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.31.0)
Canceling since a higher priority waiting request for CI-244 exists
beam-slow (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.32.0)
Canceling since a higher priority waiting request for CI-244 exists
shell-lint (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.34.0-rc1)
Canceling since a higher priority waiting request for CI-244 exists
beam-install (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-slow (ubuntu-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-slow (ubuntu-latest)
The operation was canceled.
beam-fast (ubuntu-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-fast (ubuntu-latest)
The operation was canceled.
beam-install (ubuntu-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-install (ubuntu-latest)
The operation was canceled.
beam-rocq (ubuntu-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-rocq (ubuntu-latest)
The operation was canceled.
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.29.0)
Canceling since a higher priority waiting request for CI-244 exists
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.29.0)
The operation was canceled.
lsp (ubuntu-latest)
Canceling since a higher priority waiting request for CI-244 exists
lsp (ubuntu-latest)
The operation was canceled.
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.30.0)
Canceling since a higher priority waiting request for CI-244 exists
beam-toolchain-compat (macos-latest, leanprover/lean4:v4.30.0)
The operation was canceled.
lsp (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
lsp (macos-latest)
The operation was canceled.
beam-rocq (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-rocq (macos-latest)
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-244 exists
beam-fast (macos-latest)
Canceling since a higher priority waiting request for CI-244 exists
beam-fast (macos-latest)
The operation was canceled.
beam-rocq (ubuntu-latest)
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.
beam-rocq (macos-latest)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
beam-rocq (macos-latest)
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.