Always use num, remove arbitrary-size-numeral feature.
#425
waywardmonkeysrust.yml
on: pull_request
check-formatting
11s
build
47s
build_on_wasm
34m 10s
run_clippy
1m 29s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically