Skip to content
Lean Action CI

feat(PBV): Handle sign and zero extend operations (#1423) #13653

Sign in to view logs

feat(PBV): Handle sign and zero extend operations (#1423)

feat(PBV): Handle sign and zero extend operations (#1423) #13653

Triggered via push September 15, 2026 04:27
@github-merge-queuegithub-merge-queue[bot]
pushed cef8d33
main
Status Success
Total duration 21m 49s
Artifacts –

lean_action_ci.yml

on: push
Check orphan Lean modules
6s
Check orphan Lean modules
Matrix: build
Fit to window
Zoom out
Zoom in