Skip to content
Snippets Groups Projects
Commit 4954e37f authored by Dragoș-Iulian ARGINT (94922)'s avatar Dragoș-Iulian ARGINT (94922)
Browse files

Make vmcheker-next output some details if compilation fails


Signed-off-by: default avatarDragos Iulian ARGINT <dragos.argint@stud.acs.upb.ro>
parent 6da01d08
No related branches found
No related tags found
Loading
Pipeline #13010 failed