Skip to content

Action fails for packages with multiple manuals (due to a warning) #27

@stertooy

Description

@stertooy

If a package has multiple manuals, AutoDoc or GAPDoc will produce the following warning:
#I WARNING: Package contains multiple books, only using the first one
which causes this action to fail.

We could just filter those out like the "Label(s) may have changed" warning, but I think in the long run we should seriously consider this:

A different approach would be to add an option to the action that accepts a list of warnings to ignore.

Then, upon a CI fail, the user can verify themselves that the document built is in fact correct and ignore the warning in future CI jobs.

Originally posted by @Joseph-Edwards in BNasmith/alco/#24

In particular, I noticed that GAP's make_doc script filters out warnings about overfull hboxes, which is likely to be of interest for package manuals as well.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions