Build and test Lean backend

Remove comma in config file #342

Sign in to view logs

Triggered via push December 16, 2025 22:15

nadime15

add-zdinx-config

Status Success

Total duration 24m 44s

Artifacts –

compile-lean.yml

on: push

Matrix: build

Annotations

4 notices

2115 tests found (test 1 to 746)

There are 2115 tests, see "Raw output" for the list of tests 1 to 746.

2115 tests found (test 747 to 1306)

There are 2115 tests, see "Raw output" for the list of tests 747 to 1306.

2115 tests found (test 1307 to 1879)

There are 2115 tests, see "Raw output" for the list of tests 1307 to 1879.

2115 tests found (test 1880 to 2115)

There are 2115 tests, see "Raw output" for the list of tests 1880 to 2115.