This repository was archived by the owner on Nov 10, 2025. It is now read-only.

Type Checking

More changes to fit with database-sqdt #180

Sign in to view logs

Triggered via pull request November 6, 2025 08:08

johannes-moegerle

opened #44

johannes-moegerle:dev

Status Success

Total duration 32s

Artifacts –

type_checking.yml

on: pull_request