Skip to content
Config options

Update KnuthBendix #130

Sign in to view logs

Update KnuthBendix

Update KnuthBendix #130

Run time

Learn about OS pricing on GitHub Actions
Job Run time
--enable-hpcombi --disable-eigen (macOS-latest)
1m 21s
--disable-hpcombi --enable-eigen (ubuntu-latest)
3m 58s
--disable-hpcombi --disable-eigen (ubuntu-latest)
4m 29s
--disable-hpcombi --enable-eigen (macOS-latest)
1m 51s
--enable-hpcombi --disable-eigen (ubuntu-latest)
3m 44s
--disable-hpcombi --disable-eigen (macOS-latest)
1m 45s
17m 8s