Build

Use `Unix.gettimeofday` instead of `Rusage` #887

Sign in to view logs

Triggered via pull request February 27, 2025 18:44

filipeom

opened #294

filipeom:fix-run-and-time

Status Success

Total duration 4m 48s

Artifacts –

build.yml

on: pull_request

Matrix: build