Type completeness report

Gui/fix double caret #2567

Sign in to view logs

Triggered via pull request June 24, 2025 21:05

eruvanos

opened #2740

gui/fix-double-caret

Status Success

Total duration 50s

Artifacts –

verify_types.yml

on: pull_request