Hi Waldek, The reason that your commit didn't trigger CI is that, you didn't verify your github's linked email.
If you are doing this for privacy or other reasons, I fully understand. If not, would you mind to verify your github's email? - Best, - Qian On Fri, Jan 29, 2021, 8:33 AM Waldek Hebisch <[email protected]> wrote: > On Fri, Jan 29, 2021 at 08:12:22AM +0800, oldk1331 wrote: > > Hi Waldek, > > > > Did you forget to commit this file in your last commit? > > Oops, you are right. I now pushed the missing file. > > Thanks > > -- > Waldek Hebisch > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/20210129003315.GA2309%40math.uni.wroc.pl > . > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAGBJN92LgdLOR%3Du4_mPTGgU8XtdndmdvRNBMusmCstzcCoMnSA%40mail.gmail.com.
