Add heuristic to shrink table size #212
Triggered via pull request
February 17, 2025 05:19
ibraheemdev
Status
Success
Total duration
11m 40s
Artifacts
–
safety.yml
on: pull_request
sanitizers
11m 7s
miri
4m 31s