Garmelon 08ab8bf7c3 chore: fix ci for new test suite (#12704)		2026-02-27 23:25:37 +00:00
..
identifier_completion.lean.dir
binarytrees.lean
binarytrees.lean.init.sh
binarytrees.lean.out.expected
binarytrees.st.lean
binarytrees.st.lean.init.sh
binarytrees.st.lean.out.expected
channel.lean
channel.lean.out.expected
const_fold.lean
const_fold.lean.init.sh	chore: fix ci for new test suite (#12704)	2026-02-27 23:25:37 +00:00
const_fold.lean.out.expected
deriv.lean
deriv.lean.init.sh
deriv.lean.out.expected
hashmap.lean
hashmap.lean.init.sh
hashmap.lean.out.expected
identifier_completion.lean
identifier_completion.lean.do_interpret
identifier_completion.lean.no_compile
identifier_completion.lean.out.expected
ilean_roundtrip.lean
ilean_roundtrip.lean.init.sh
ilean_roundtrip.lean.out.expected
iterators.lean
iterators.lean.do_interpret
iterators.lean.out.expected
liasolver.lean
liasolver.lean.ex-50-50-1.leq
liasolver.lean.init.sh
liasolver.lean.out.expected
nat_repr.lean
nat_repr.lean.init.sh
nat_repr.lean.out.expected
parser.lean
parser.lean.init.sh
phashmap.lean
phashmap.lean.init.sh
phashmap.lean.out.expected
qsort.lean
qsort.lean.init.sh
rbmap.lean
rbmap.lean.init.sh
rbmap.lean.out.expected
rbmap_checkpoint.lean
rbmap_checkpoint.lean.init.sh
rbmap_checkpoint.lean.out.expected
rbmap_checkpoint2.lean
rbmap_checkpoint2.lean.init.sh
rbmap_checkpoint2.lean.no_test
rbmap_fbip.lean
rbmap_fbip.lean.init.sh
rbmap_fbip.lean.out.expected
rbmap_library.lean
rbmap_library.lean.init.sh
rbmap_library.lean.out.expected
run_bench
run_test
server_startup.lean
server_startup.lean.log
sigmaIterator.lean
sigmaIterator.lean.out.expected
treemap.lean
treemap.lean.init.sh
treemap.lean.out.expected
unionfind.lean
unionfind.lean.init.sh
unionfind.lean.out.expected
watchdogRss.lean
workspaceSymbolsNewRanges.lean
workspaceSymbolsNewRanges.lean.out.expected