Cross CI

checker: disallow `expr is Type` if expr is Optional #400

Sign in to view logs

Triggered via push January 18, 2025 18:55

Delta456

opt_is_check

Status Success

Total duration 5m 57s

Artifacts –

cross_ci.yml

on: push