Skip to content
Snippets Groups Projects
Commit 2ca31753 authored by Vincent Texier's avatar Vincent Texier
Browse files

[fix] #99 fix pipeline not run when Makefile is changed

Required as gitlab-ci use make commands now
parent c6dcc7ca
No related branches found
No related tags found
No related merge requests found
Pipeline #5941 passed