Nichokas

Update ui.py

1

'np.float' is decapried

Support android-arm

6

### Describe the need _What problem are you trying to solve? What do you want to happen?_ Suport for android ARM ### Version _Do these docs apply to a specific...

Decapitated/Unmaintained dependencies on hax_lib_macros crate

1

The hax_lib_macros crate is using `proc-macro-error` and `paste` dependencies which are decapitated or unmaintained. [`paste` rustsec notice](https://rustsec.org/advisories/RUSTSEC-2024-0436.html) [`proc-macro-error` rustsec notice](https://rustsec.org/advisories/RUSTSEC-2024-0370.html)

Coverage workflow fix and improvement

1

Removed the [decapitated -Zprofile ](https://github.com/rust-lang/compiler-team/issues/798) unstable flag and replaced with other flags that do the same work, also updated workflow "uses:" libraries to ones that are currently maintained