Revision 63e4eadee2eacb9506a07e4a243c259aec513615 authored by Pierre-Yves Strub on 20 September 2022, 14:58:45 UTC, committed by Pierre-Yves Strub on 22 September 2022, 15:45:34 UTC
1 parent 80dba47
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...