Skip to content
Config-options

Remove references to non-existing gap/doc.g #402

Sign in to view logs

Remove references to non-existing gap/doc.g

Remove references to non-existing gap/doc.g #402

Triggered via pull request December 6, 2024 13:03
@fingolfinfingolfin
opened #716
fingolfin:mh/doc.g
Status Success
Total duration 7m 20s
Artifacts –

config_options.yml

on: pull_request
Matrix: all-options
Matrix: with-external-planarity-bliss
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
--enable-compile-warnings --without-intrinsics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--enable-debug --enable-compile-warnings --without-intrinsics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--enable-debug --without-intrinsics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--enable-compile-warnings
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--without-intrinsics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--enable-debug
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--enable-debug --enable-compile-warnings
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--with-external-bliss --with-external-planarity
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--with-external-planarity
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
--with-external-bliss
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636