Skip to content

Run tests/tests.exe from dune - #433

Open
shonfeder wants to merge 1 commit into
LPCIC:masterfrom
shonfeder:run-tests-thru-dune
Open

Run tests/tests.exe from dune#433
shonfeder wants to merge 1 commit into
LPCIC:masterfrom
shonfeder:run-tests-thru-dune

Run tests/tests.exe from dune

a90d2eb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

4 warnings
Build and test elpi (macos-latest, 5.4.x, dev)
succeeded Jul 31, 2026 in 5m 14s