Skip to content
linux

bdd_satmin and bdd_satmax with set of variables #516

Sign in to view logs

bdd_satmin and bdd_satmax with set of variables

bdd_satmin and bdd_satmax with set of variables #516

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Skip job?
7s
Build + Test (Linux, gcc-10)
11m 48s
Build + Test (Linux, ${{ matrix.cc.cc }}-${{ matrix.cc.v }})
0s
Build + Test (Linux, gcc-11)
11m 29s
Build + Test (Linux, gcc-12)
12m 11s
Build + Test (Linux, clang-12)
11m 34s
Build + Test (Linux, clang-14)
11m 27s
Build + Test (Linux, clang-15)
11m 9s
1h 9m 45s