Skip to content
Release

devenv-run-tests: adjust test output #322

Sign in to view logs

devenv-run-tests: adjust test output

devenv-run-tests: adjust test output #322

Annotations

7 errors

pipeline (aarch64-darwin, ["self-hosted", "macOS", "ARM64"])  /  ...  /  lean4 (aarch64-darwin)

pipeline (aarch64-darwin, ["self-hosted", "macOS", "ARM64"]) / examples / lean4 (aarch64-darwin)
succeeded Sep 27, 2025 in 1m 28s