Build and test Lean backend

Refactor the control_check_pc API. #1117

Sign in to view logs

Triggered via pull request September 2, 2025 22:56

pmundkur

synchronize #1234

pmundkur:refactor_control_check_pc

Status Success

Total duration 12m 53s

Artifacts –

compile-lean.yml

on: pull_request

Matrix: build