Skip to main content

Browse the archive

Revision 56a393d6ae4961a5d8fbaa80ffe08cdeb3510de1 authored by Pierre-Yves Strub on 06 May 2022, 06:44:04 UTC, committed by Pierre-Yves Strub on 06 May 2022, 14:42:43 UTC 
[github-action]: push docker images
1 parent a49a0ac
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top