Skip to content

ci: validate pinned official Sail RISC-V H Lean generation - #1

Draft
o8vm wants to merge 6 commits into
mainfrom
sail-v044-validation-20260823
Draft

ci: validate pinned official Sail RISC-V H Lean generation#1
o8vm wants to merge 6 commits into
mainfrom
sail-v044-validation-20260823

ci: trigger lean-sail v5 source upload

2835e15
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
generate
failed Aug 23, 2026 in 13m 7s