Skip to content
Lean Action CI

feat(interpreter): give memory blocks with a physical address space #13725

Sign in to view logs

feat(interpreter): give memory blocks with a physical address space

feat(interpreter): give memory blocks with a physical address space #13725

Triggered via pull request September 17, 2026 05:46
@tobiasgrossertobiasgrosser
synchronize #1454
tobias/memory_model_blocks
Status Success
Total duration 21m 9s
Artifacts –

lean_action_ci.yml

on: pull_request
Check orphan Lean modules
5s
Check orphan Lean modules
Matrix: build
Fit to window
Zoom out
Zoom in