Typecheck

Bump github/codeql-action from 3 to 4 (#25) #35

Sign in to view logs

Triggered via push October 14, 2025 08:44

master

Status Success

Total duration 21s

Artifacts –

typecheck.yml

on: push

Typecheck code with mypy