Skip to content
Build

don't emit the poison axiom for the null block #1487

Sign in to view logs

don't emit the poison axiom for the null block

don't emit the poison axiom for the null block #1487

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-24.04 g++-14 Release
7m 6s
ubuntu-24.04 g++-14 Release Redis
7m 4s
ubuntu-24.04 g++-14 Debug
5m 59s
ubuntu-24.04 g++-14 Debug Redis
5m 46s
ubuntu-24.04 clang++-19 Release
6m 10s
ubuntu-24.04 clang++-19 Release Redis
7m 31s
ubuntu-24.04 clang++-19 Debug
6m 2s
ubuntu-24.04 clang++-19 Debug Redis
7m 58s
ubuntu-24.04 clang++-20 Release
7m 21s
ubuntu-24.04 clang++-20 Release Redis
7m 11s
ubuntu-24.04 clang++-20 Debug
7m 44s
ubuntu-24.04 clang++-20 Debug Redis
6m 15s
macos-15 clang++ Release
5m 39s
macos-15 clang++ Debug
4m 41s
1h 32m 27s