Skip to content
Back to pull request #1923

clock_gettime should return CInt, not void #6789

Sign in to view logs

clock_gettime should return CInt, not void

clock_gettime should return CInt, not void #6789

build-with-docker (20.04, Debug, 18)

build-with-docker (20.04, Debug, 18)
succeeded Feb 2, 2025 in 6m 33s