yade-dev team mailing list archive
Mailing list archive
Do we have "quick" pipeline on gitlab?
As I was pushing at high frequency recently I kept cancelling gitlab jobs
since they were way too long.
Is there a trick I miss? Would it make sense to have a special tag we can
set for building some branches with lightweight series of builds/test/doc
on them (say, ubuntu + debian)?
We can actually trick the gitlab.ci but that's ugly and there's always a
risk to push it.
ENSE³ - Grenoble INP
38041 Grenoble cedex 9
Tél : +33 4 56 52 86 21
Email too brief?
Here's why: email charter