Build

Escape quotes when printing SMT-LIB error messages #2392

Sign in to view logs

Triggered via pull request February 6, 2025 17:41

opened #1289

bclement-ocp:bclement/escape_quotes

Status Failure

Total duration 12m 30s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

7 errors

build (ubuntu-latest, 4.08.1)

Process completed with exit code 2.

build (macos-latest, 5.3.0)

Process completed with exit code 2.

build (ubuntu-latest, 4.14.2)

Process completed with exit code 2.

build (macos-latest, 4.14.2)

Process completed with exit code 2.

build (ubuntu-latest, 5.3.0)

Process completed with exit code 2.

build (windows-latest, 4.14.2)

Process completed with exit code 1.

build (windows-latest, 5.3.0)

Process completed with exit code 1.