Skip to content
native backend CI

checker: disallow expr is Type if expr is Optional #3014

Sign in to view logs

checker: disallow expr is Type if expr is Optional

checker: disallow expr is Type if expr is Optional #3014

Triggered via pull request January 18, 2025 18:56
@Delta456Delta456
opened #23510
Delta456:opt_is_check
Status Cancelled
Total duration 10m 8s
Artifacts –

native_backend_ci.yml

on: pull_request
Matrix: native-backend
Fit to window
Zoom out
Zoom in

Annotations

1 error
native-backend (ubuntu-20.04)
Canceling since a higher priority waiting request for 'native backend CI-refs/pull/23510/merge' exists