Merge pull request #2035 from thomasklemm/patch-1 #1334

Sign in to view logs

Summary
Jobs
- steep
Run details
- Usage
- Workflow file

Triggered via push September 30, 2024 12:36

github-merge-queue[bot]

master

Status Success

Total duration 1m 19s

Artifacts –

typecheck.yml

on: push