Skip to content
Check formatting

feat(test/lean): support self-tests from the C backend #2071

Sign in to view logs

feat(test/lean): support self-tests from the C backend

feat(test/lean): support self-tests from the C backend #2071

Triggered via pull request February 12, 2025 13:50
@AlasdairAlasdair
synchronize #973
RaitoBezarius:runnable-lean-tests
Status Success
Total duration 36s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in