Skip to content
Config options

todd-coxeter: update for changes in libsemigroups #40

Sign in to view logs

todd-coxeter: update for changes in libsemigroups

todd-coxeter: update for changes in libsemigroups #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
--disable-hpcombi --disable-eigen (macOS-latest)
6m 57s
--disable-hpcombi --disable-eigen (ubuntu-latest)
8m 19s
--enable-hpcombi --disable-eigen (ubuntu-latest)
8m 24s
--disable-hpcombi --enable-eigen (macOS-latest)
11m 44s
--enable-hpcombi --disable-eigen (macOS-latest)
7m 3s
--disable-hpcombi --enable-eigen (ubuntu-latest)
9m 7s
51m 34s