Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

define some doctestfilters #491

Merged
merged 2 commits into from
Jul 17, 2020
Merged

define some doctestfilters #491

merged 2 commits into from
Jul 17, 2020

Commits on Jul 15, 2020

  1. define some doctestfilters 

    ... in order to avoid failures in doctests with Julia 1.6.0-DEV
(due to changed `typeof` outputs in Julia 1.6)
    @ThomasBreuer
    ThomasBreuer committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    3542dde View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2020

  1. use doctestfilters also in GAP's Test

    @ThomasBreuer
    ThomasBreuer committed Jul 16, 2020
    Configuration menu
    Copy the full SHA
    baaf724 View commit details
    Browse the repository at this point in the history