Allow triggering ci workflow manually on Github#209
Open
simonschoelly wants to merge 1 commit intoJuliaGraphs:masterfrom
Open
Allow triggering ci workflow manually on Github#209simonschoelly wants to merge 1 commit intoJuliaGraphs:masterfrom
simonschoelly wants to merge 1 commit intoJuliaGraphs:masterfrom
