tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-04 20:13:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
bfcab428d2fcc2bfcc3c47dd692cbbdb1d5a080a
serena/test/solidlsp/lean4
T
History
Michael Panchenko 0143479621 Tests: centralized test enabling logic, better parallelization in CI 
Removing some heavy toolchains from windows/macos run (they will be tested only in the job based off the maximal docker image)
2026-06-28 17:47:36 +02:00
..
test_lean4_basic.py
Tests: centralized test enabling logic, better parallelization in CI
2026-06-28 17:47:36 +02:00
test_lean4_diagnostics.py
Tests: centralized test enabling logic, better parallelization in CI
2026-06-28 17:47:36 +02:00