Skip to content
ci

fix: run Lean.enableInitializersExecution #9736

Sign in to view logs

fix: run Lean.enableInitializersExecution

fix: run Lean.enableInitializersExecution #9736

Triggered via pull request November 15, 2024 00:17
@eric-wiesereric-wieser
synchronize #1047
eric-wieser-patch-1
Status Success
Total duration 51s
Artifacts –

build.yml

on: pull_request
Build
41s
Build
Fit to window
Zoom out
Zoom in