Introduce AmalgamDigraphs

155fd3e

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Ubuntu on: pull_request

GAP master / only needed packages

GAP master / needed+suggested packages

GAP stable-4.15 / only needed packages

GAP stable-4.15 / needed+suggested packages

GAP v4.14 / only needed packages

GAP v4.14 / needed+suggested packages

GAP v4.13 / only needed packages

GAP v4.13 / needed+suggested packages

GAP v4.12 / only needed packages

GAP v4.12 / needed+suggested packages

GAP v4.11 / needed+suggested packages

GAP v4.10 / needed+suggested packages

Lint on: pull_request 2

gaplint

cpplint

Config-options on: pull_request

--with-external-bliss --with-external-planarity

--with-external-planarity

--with-external-bliss

--enable-debug --enable-compile-warnings --without-intrinsics

--enable-debug --enable-compile-warnings

--enable-compile-warnings --without-intrinsics

--enable-compile-warnings

--enable-debug --without-intrinsics

--enable-debug

--without-intrinsics

Manual on: pull_request

compile and upload manual

Codespell on: pull_request

codespell

OS on: pull_request 2

ubuntu32 / GAP stable-4.15

macos64 / GAP stable-4.15

windows64 / GAP stable-4.15

Codecov

codecov/changes

codecov/patch

codecov/project

The logs for this run have expired and are no longer available.

Loading

Introduce AmalgamDigraphs

Uh oh!

The logs for this run have expired and are no longer available.

Re-running jobs...