Skip to content
Config-options

Don't try to read doc.g, file was previously removed #411

Sign in to view logs

Don't try to read doc.g, file was previously removed

Don't try to read doc.g, file was previously removed #411

Run time

Learn about OS pricing on GitHub Actions
Job Run time
--enable-debug --enable-compile-warnings --without-intrinsics
4m 27s
--enable-debug --enable-compile-warnings
4m 15s
--enable-compile-warnings --without-intrinsics
4m 17s
--with-external-bliss --with-external-planarity
7m 24s
--enable-compile-warnings
4m 26s
--with-external-planarity
7m 11s
--enable-debug --without-intrinsics
4m 5s
--with-external-bliss
7m 25s
--enable-debug
4m 20s
--without-intrinsics
4m 11s
52m 1s