Build and test Lean backend

Add configuration option for reserved behavior `pmpcfg with r=0, w=1` #2055

Sign in to view logs

Re-run triggered December 23, 2025 18:41

pmundkur

#1422

challenger1024:pmpcfg-r0-w1

Status Success

Total duration 16m 25s

Artifacts –

compile-lean.yml

on: pull_request

Matrix: build