Skip to content
linux

Add bdd_replace #524

Sign in to view logs

Add bdd_replace

Add bdd_replace #524

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Skip job?
6s
Build + Test (Linux, gcc-10)
12m 32s
Build + Test (Linux, gcc-11)
13m 24s
Build + Test (Linux, ${{ matrix.cc.cc }}-${{ matrix.cc.v }})
0s
Build + Test (Linux, gcc-12)
13m 28s
Build + Test (Linux, clang-12)
12m 15s
Build + Test (Linux, clang-14)
12m 26s
Build + Test (Linux, clang-15)
12m 15s
1h 16m 26s