Add more debug profiling (`replace_type_try_transport`) #673

Sign in to view logs

Triggered via pull request December 24, 2023 05:44

JasonGross

opened #143

JasonGross:more-profile

Status Success

Total duration 8m 13s

Artifacts –

coq.yml

on: pull_request

Matrix: build