Skip to content
Check for copyright header

fix: instantiate mvars of indices before instantiating fvars #3663

Sign in to view logs

fix: instantiate mvars of indices before instantiating fvars

fix: instantiate mvars of indices before instantiating fvars #3663

Triggered via pull request August 8, 2024 18:37
@arthur-adjedjarthur-adjedj
synchronize #4717
arthur-adjedj:3246-2
Status Success
Total duration 34s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
21s
check-lean-files
Fit to window
Zoom out
Zoom in