Skip to content
Lean Action CI

fix: allow sampling from higher universes #8

Sign in to view logs

fix: allow sampling from higher universes

fix: allow sampling from higher universes #8

Triggered via pull request November 3, 2024 11:35
@eric-wiesereric-wieser
synchronize #2
eric-wieser:ulift
Status Failure
Total duration 37s
Artifacts –

lean_action_ci.yml

on: pull_request
build
30s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
lake test failed
build
Process completed with exit code 1.