Skip to content
Check for copyright header

fix: natCast in grind cutsat #14003

Sign in to view logs

fix: natCast in grind cutsat

fix: natCast in grind cutsat #14003

Triggered via pull request June 13, 2025 17:49
@leodemouraleodemoura
opened #8776
grind_natCast
Status Success
Total duration 43s
Artifacts –

copyright-header.yml

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