[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: testing out Docker CI scripts?
From: |
Han-Wen Nienhuys |
Subject: |
Re: testing out Docker CI scripts? |
Date: |
Sat, 22 Feb 2020 22:12:34 +0100 |
On Sat, Feb 22, 2020 at 10:11 PM Han-Wen Nienhuys <address@hidden> wrote:
>
> On Sat, Feb 22, 2020 at 9:54 PM David Kastrup <address@hidden> wrote:
> > > On Sat, Feb 22, 2020 at 5:23 PM Jonas Hahnfeld <address@hidden> wrote:
> > >> > I would be interested in your feedback.
> > >>
> > >> Not having run any of this, my immediate response would that it's not
> > >> running 'make doc' AFAICS.
> > >
> > > For changes to the code, it should be irrelevant to run make doc: the
> > > regression test should cover all the behaviors we care about from a
> > > programming perspective.
> >
> > It would be nice if you considered asking questions instead of just
> > assuming that our established procedures do not make sense and are not
> > actually rooted in any relevant experience.
> >
> > We had a considerable amount of documentation building failures due to
> > "code-only" changes that "couldn't possibly" affect the doc build. To a
> > good degree this is because the in-code documentation (like of
> > properties, music functions and a whole bunch of stuff ending up in the
> > Internals Reference) is run through various interpreters of Texinfo.
>
> I think we could and should run the documentation as part of the regtests.
I mean: we could and should compile the documentation that is
generated from the code, ie properties, music functions, etc.
--
Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen
- Re: testing out Docker CI scripts?, (continued)
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
Re: testing out Docker CI scripts?, Jonas Hahnfeld, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?,
Han-Wen Nienhuys <=
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Karlin High, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Werner LEMBERG, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
- Re: testing out Docker CI scripts?, Werner LEMBERG, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/23
Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23