Always use num, remove arbitrary-size-numeral feature.
#426
waywardmonkeysrust.yml
on: push
check-formatting
16s
build
1m 6s
build_on_wasm
27m 54s
run_clippy
1m 17s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically