Skip to content
Cleanup closed PR cache entries

fix: use element_size() instead of computing it with division #2137

Sign in to view logs

fix: use element_size() instead of computing it with division

fix: use element_size() instead of computing it with division #2137

Triggered via pull request September 5, 2024 14:39
@asteriteasterite
closed #5939
ab/opt-die-divide-by-zero
Status Success
Total duration 22s
Artifacts –

cache-cleanup.yml

on: pull_request
cleanup
9s
cleanup
Fit to window
Zoom out
Zoom in