Skip to content
馃攼 CodeQL

Change Maybe to Some[T] | None instead of Some[T | None] | None #12837

Sign in to view logs

Change Maybe to Some[T] | None instead of Some[T | None] | None

Change Maybe to Some[T] | None instead of Some[T | None] | None #12837

Triggered via pull request July 29, 2025 21:31
@patrick91patrick91
synchronize #3961
fix/maybe-none
Status Success
Total duration 1m 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql-analysis.yml

on: pull_request
analyze
1m 19s
analyze
Fit to window
Zoom out
Zoom in

Annotations

1 error
analyze
CodeQL Action major versions v1 and v2 have been deprecated. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2025-01-10-code-scanning-codeql-action-v2-is-now-deprecated/