Skip to content
Back to pull request #2207

Add semantics checker for KQIR #6183

Sign in to view logs

Add semantics checker for KQIR

Add semantics checker for KQIR #6183

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Precondition
6s
Check typos
6s
Lint and check code
12m 38s
Check Docker image
15m 39s
Build and test in container (CentOS 7, centos:7, gcc)
29m 7s
Build and test in container (openSUSE Leap 15, opensuse/leap:15, gcc)
29m 6s
Build and test (Darwin Clang, macos-11, auto)
41m 4s
Build and test in container (ArchLinux, archlinux:base, gcc)
28m 51s
Build and test (Darwin Clang arm64, macos-14, auto)
17m 27s
Build and test (Darwin Clang without Jemalloc, macos-11, auto, -DDISABLE_JEMALLOC=ON)
37m 59s
Build and test (Darwin Clang with OpenSSL, macos-11, auto, -DENABLE_OPENSSL=ON)
39m 59s
Build and test (Darwin Clang without luaJIT, macos-11, auto, -DENABLE_LUAJIT=OFF)
40m 38s
Build and test (Ubuntu GCC, ubuntu-20.04, gcc)
27m 23s
Build and test (SonarCloud with Coverage, ubuntu-22.04, gcc, -DCMAKE_CXX_FLAGS=--coverage)
31m 36s
Build and test (Ubuntu Clang, ubuntu-20.04, clang)
25m 17s
Build and test (Ubuntu 22 GCC, ubuntu-22.04, gcc)
28m 2s
Build and test (Ubuntu 22 Clang, ubuntu-22.04, clang)
27m 29s
Build and test (Ubuntu GCC ASan, ubuntu-20.04, -DDISABLE_JEMALLOC=ON, -DENABLE_ASAN=ON, gcc)
38m 25s
Build and test (Ubuntu Clang ASan, ubuntu-20.04, -DENABLE_ASAN=ON, -DDISABLE_JEMALLOC=ON, clang)
32m 18s
Build and test (Ubuntu GCC TSan, ubuntu-22.04, -DDISABLE_JEMALLOC=ON, -DENABLE_TSAN=ON, gcc, -tag...
42m 1s
Build and test (Ubuntu Clang TSan, ubuntu-20.04, -DENABLE_TSAN=ON, -DDISABLE_JEMALLOC=ON, clang, ...
31m 45s
Build and test (Ubuntu GCC Ninja, ubuntu-20.04, --ninja, gcc)
27m 4s
Build and test (Ubuntu GCC with OpenSSL, ubuntu-20.04, gcc, -DENABLE_OPENSSL=ON)
27m 33s
Build and test (Ubuntu Clang with OpenSSL, ubuntu-20.04, clang, -DENABLE_OPENSSL=ON)
25m 23s
Build and test (Ubuntu GCC without luaJIT, ubuntu-20.04, -DENABLE_LUAJIT=OFF, gcc)
26m 51s
Build and test (Ubuntu Clang without luaJIT, ubuntu-20.04, -DENABLE_LUAJIT=OFF, clang)
25m 7s
Build and test (Ubuntu GCC with new encoding, ubuntu-20.04, gcc, -DENABLE_NEW_ENCODING=TRUE)
26m 55s
Build and test (Ubuntu Clang with new encoding, ubuntu-20.04, clang, -DENABLE_NEW_ENCODING=TRUE)
25m 8s
Build and test (Ubuntu GCC with speedb enabled, ubuntu-20.04, gcc, -DENABLE_SPEEDB=ON)
27m 33s
Required
1s
13h 8m 31s