Skip to content
PR Check - Autobuild working directory

Add typecheck commands #3834

Sign in to view logs

Add typecheck commands

Add typecheck commands #3834

Triggered via pull request October 30, 2026 16:38
@mbgmbg
synchronize #4272
mbg/ci/typecheck
Status Success
Total duration 1m 37s
Artifacts –

__autobuild-working-dir.yml

on: pull_request
Matrix: Autobuild working directory
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Autobuild working directory (ubuntu-26.04, linked)
Cannot build an overlay database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.