Skip to content
Back to pull request #873

Rework some type annotations to help the type checker #2873

Sign in to view logs

Rework some type annotations to help the type checker

Rework some type annotations to help the type checker #2873

Triggered via pull request March 31, 2024 17:49
@hoechenbergerhoechenberger
synchronize #873
hoechenberger:types
Status Success
Total duration 16m 35s
Artifacts –

run-tests.yml

on: pull_request
Doc consistency and codespell
1m 11s
Doc consistency and codespell
Matrix: caching
Fit to window
Zoom out
Zoom in