Skip to content
Build

smt: allocate subst vars array on the stack, as it is always very small #1477

Sign in to view logs

smt: allocate subst vars array on the stack, as it is always very small

smt: allocate subst vars array on the stack, as it is always very small #1477

Triggered via push December 16, 2024 11:22
@nunoplopesnunoplopes
pushed 92736c4
master
Status Failure
Total duration 1m 42s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

26 errors
ubuntu-24.04 clang++-19 Release
Process completed with exit code 1.
ubuntu-24.04 clang++-20 Release
Process completed with exit code 1.
ubuntu-24.04 clang++-20 Debug
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-20 Debug
Process completed with exit code 1.
ubuntu-24.04 clang++-19 Debug Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-19 Debug Redis
The operation was canceled.
ubuntu-24.04 clang++-20 Debug Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-20 Debug Redis
The operation was canceled.
ubuntu-24.04 clang++-19 Debug
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-19 Debug
The operation was canceled.
ubuntu-24.04 clang++-20 Release Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-20 Release Redis
The operation was canceled.
ubuntu-24.04 clang++-19 Release Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 clang++-19 Release Redis
The operation was canceled.
ubuntu-24.04 g++-14 Debug Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 g++-14 Debug Redis
The operation was canceled.
ubuntu-24.04 g++-14 Release
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 g++-14 Release
The operation was canceled.
ubuntu-24.04 g++-14 Release Redis
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 g++-14 Release Redis
The operation was canceled.
ubuntu-24.04 g++-14 Debug
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
ubuntu-24.04 g++-14 Debug
The operation was canceled.
macos-15 clang++ Release
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
macos-15 clang++ Release
The operation was canceled.
macos-15 clang++ Debug
The job was canceled because "ubuntu-24_04_clang__-19_R" failed.
macos-15 clang++ Debug
The operation was canceled.