Skip to content
Continuous benchmarking

Merge pull request #1322 from google-research/type-checking-refactor #303

Sign in to view logs

Merge pull request #1322 from google-research/type-checking-refactor

Merge pull request #1322 from google-research/type-checking-refactor #303

Triggered via push July 7, 2023 12:51
@dougalmdougalm
pushed 3fbcc02
main
Status Success
Total duration 42m 16s
Artifacts –

bench.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in