Skip to content
Lean Action CI

fix(riscv): access constant values from the LLVM dialect correctly (#… #13719

Sign in to view logs

fix(riscv): access constant values from the LLVM dialect correctly (#…

fix(riscv): access constant values from the LLVM dialect correctly (#… #13719

Triggered via push September 17, 2026 04:58
@github-merge-queuegithub-merge-queue[bot]
pushed 789c2aa
main
Status Success
Total duration 17m 5s
Artifacts –

lean_action_ci.yml

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