Skip to content
Back to pull request #1870

fixes #1866 clock_gettime is not used on Android, even though available #1700

Sign in to view logs

fixes #1866 clock_gettime is not used on Android, even though available

fixes #1866 clock_gettime is not used on Android, even though available #1700

Triggered via pull request September 7, 2024 22:44
@gdamoregdamore
opened #1870
gdamore/master/android-clock-gettime
Status Success
Total duration 2m 57s
Artifacts –

sanitizer.yml

on: pull_request
Matrix: sanitize
Fit to window
Zoom out
Zoom in