Skip to content
Build and Test HW-CBMC

SAT-based neural ranking engine #1763

Sign in to view logs

SAT-based neural ranking engine

SAT-based neural ranking engine #1763

Triggered via pull request May 28, 2024 14:00
@kroeningkroening
synchronize #524
solver-nuterm
Status Failure
Total duration 2m 6s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
55s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
1m 6s
check-ubuntu-20_04-make-clang
CentOS 8
1m 4s
CentOS 8
check-macos-12-make-clang
1m 55s
check-macos-12-make-clang
Fit to window
Zoom out
Zoom in

Annotations

4 errors
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
CentOS 8
Process completed with exit code 2.
check-macos-12-make-clang
Process completed with exit code 2.