Skip to content

Merge pull request #2778 from jku/type-fixes #562

Merge pull request #2778 from jku/type-fixes

Merge pull request #2778 from jku/type-fixes #562

Triggered via push January 31, 2025 21:27
Status Success
Total duration 55s
Artifacts

scorecards.yml

on: push
Scorecards analysis
46s
Scorecards analysis
Fit to window
Zoom out
Zoom in