Skip to content
Quality

docs: update type docs #12176

Sign in to view logs

docs: update type docs

docs: update type docs #12176

Triggered via push January 22, 2025 21:31
@cschroetercschroeter
pushed 4eade78
main
Status Success
Total duration 2m 9s
Artifacts –

quality.yml

on: push
Build
1m 32s
Build
Tests
2m 1s
Tests
Lint
21s
Lint
Typecheck
58s
Typecheck
Check for various issues
17s
Check for various issues
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Check for various issues
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Typecheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636