Skip to content

Add semantics checker for KQIR #6183

Add semantics checker for KQIR

Add semantics checker for KQIR #6183

Build and test (Ubuntu GCC with new encoding, ubuntu-20.04, gcc, -DENABLE_NEW_ENCODING=TRUE)

succeeded Mar 29, 2024 in 26m 55s
Set up job
2s
Setup macOS
0s
Setup Linux
11s
Cache redis
1s
Install redis
0s
Run actions/checkout@v4
1s
Run actions/setup-python@v5
0s
Run actions/setup-go@v5
6s
Install gcovr 5.0
0s
Install sonar-scanner and build-wrapper
0s
Build Kvrocks
15m 48s
Build Kvrocks (SonarCloud)
0s
Setup Coredump
0s
Run Unit Test
15s
Run Go Integration Cases
10m 24s
Find reports and crashes
2s
Run actions/upload-artifact@v4
0s
Collect coverage into one XML report
0s
Add event information
0s
Upload SonarCloud data
0s
Post Run actions/setup-go@v5
0s
Post Run actions/setup-python@v5
0s
Post Run actions/checkout@v4
0s
Post Cache redis
0s
Complete job
0s