Refinement typing #150

Sign in to view logs

Triggered via pull request June 16, 2023 09:18

catvayor

synchronize #1961

refinement-typing

Status Skipped

Total duration 8s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

benchmark.yml

on: pull_request

build-linux-nix

benchmark-MI100-opencl

benchmark-titanx-cuda

benchmark-titanx-opencl

benchmark-titanrtx-cuda

benchmark-titanrtx-opencl

benchmark-results