Skip to content
Lean Action CI

fix: allow sampling from higher universes #9

Sign in to view logs

fix: allow sampling from higher universes

fix: allow sampling from higher universes #9

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

lean_action_ci.yml

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