Skip to content
Syntactic checks

smt2: lower empty_string and decimal of_int to SMT-LIB #5555

Sign in to view logs

smt2: lower empty_string and decimal of_int to SMT-LIB

smt2: lower empty_string and decimal of_int to SMT-LIB #5555

Triggered via pull request November 13, 2026 09:00
@tautschnigtautschnig
opened #9469
tautschnig:fix/smt2-lower-empty-string-of-int
Status Success
Total duration 18m 21s
Artifacts –

syntax-checks.yaml

on: pull_request
check-clang-format
1m 36s
check-clang-format
check-cpplint
1m 10s
check-cpplint
check-rustfmt
16s
check-rustfmt
Fit to window
Zoom out
Zoom in

Annotations

2 notices
check-cpplint
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
check-rustfmt
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"