Skip to content

Replace add_axioms_for_is_empty body with length(s) == 0 form #4619

Replace add_axioms_for_is_empty body with length(s) == 0 form

Replace add_axioms_for_is_empty body with length(s) == 0 form #4619

Triggered via pull request June 9, 2026 18:46
Status Success
Total duration 19m 22s
Artifacts

syntax-checks.yaml

on: pull_request
check-clang-format
2m 36s
check-clang-format
check-cpplint
1m 54s
check-cpplint
check-rustfmt
9s
check-rustfmt
Fit to window
Zoom out
Zoom in