Skip to content
Rust

z3-sys: Add more recent regular expression func bindings. #455

Sign in to view logs

z3-sys: Add more recent regular expression func bindings.

z3-sys: Add more recent regular expression func bindings. #455

Triggered via pull request November 18, 2023 08:35
@waywardmonkeyswaywardmonkeys
opened #273
add-missing-re-funcs
Status Success
Total duration 30m 40s
Artifacts –

rust.yml

on: pull_request
check-formatting
8s
check-formatting
build_on_wasm
24m 5s
build_on_wasm
run_clippy
1m 7s
run_clippy
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3
Fit to window
Zoom out
Zoom in