Type completeness report

Trim down options in make.py #2332

Sign in to view logs

Triggered via pull request March 29, 2025 03:36

einarf

synchronize #2629

make-simpler

Status Success

Total duration 1m 4s

Artifacts –

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

verify_types.yml

on: pull_request