Skip to content
Snippets Groups Projects

update Makefile

Merged Ralf Jung requested to merge ci/ralf/makefile into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:10:54

avatar

No artifacts found

Passed

00:11:03

avatar

No artifacts found

Passed

00:10:53

avatar

No artifacts found

Loading