Skip to content

Actions: riscv/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CI to produce and compile the Lean backend Build and test Lean backend #1: Pull request #842 opened by jprider63
April 7, 2025 17:51 39m 45s GaloisInc:feature/lean_ci
GaloisInc:feature/lean_ci
April 7, 2025 17:51 39m 45s