Skip to content
Lean Action CI

fix: allow sampling from higher universes #10

Sign in to view logs

fix: allow sampling from higher universes

fix: allow sampling from higher universes #10

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

lean_action_ci.yml

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