Skip to content

Merge pull request #782 from adamtheturtle/rm-unnecessary-isinstance-2 #2822

Merge pull request #782 from adamtheturtle/rm-unnecessary-isinstance-2

Merge pull request #782 from adamtheturtle/rm-unnecessary-isinstance-2 #2822

Triggered via push May 10, 2024 13:37
Status Success
Total duration 1m 5s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in