build: Update Docker container

Includes a change to handle a mypy update.
This commit is contained in:
James Westman 2024-10-19 19:00:47 -05:00
parent c805400a39
commit 94b532bc35
No known key found for this signature in database
GPG key ID: CE2DBA0ADB654EA6
2 changed files with 5 additions and 3 deletions

View file

@ -33,7 +33,9 @@ def parse(
original_text = tokens[0].string if len(tokens) else ""
ctx = ParseContext(tokens, original_text)
AnyOf(UI).parse(ctx)
ast_node = ctx.last_group.to_ast() if ctx.last_group else None
assert ctx.last_group is not None
ast_node = ctx.last_group.to_ast()
errors = [*ctx.errors, *ast_node.errors]
warnings = [*ctx.warnings, *ast_node.warnings]

View file

@ -7,8 +7,8 @@ git clone --depth=1 https://gitlab.gnome.org/GNOME/gtk.git
cd gtk
meson setup builddir \
--prefix=/usr \
-Dgtk_doc=true \
-Ddemos=false \
-Ddocumentation=true \
-Dbuild-demos=false \
-Dbuild-examples=false \
-Dbuild-tests=false \
-Dbuild-testsuite=false