Skip to content
Snippets Groups Projects
Commit 6e20dd4b authored by Michael Sammler's avatar Michael Sammler
Browse files

put TIMECMD inside opam exec

parent a427a771
No related branches found
No related tags found
No related merge requests found
Pipeline #63288 passed
Stage: build