Skip to content

Merge pull request #415 from dodmi/backport-5x-2x-typecheck-2023-11-23 #86

Merge pull request #415 from dodmi/backport-5x-2x-typecheck-2023-11-23

Merge pull request #415 from dodmi/backport-5x-2x-typecheck-2023-11-23 #86

Triggered via push November 23, 2023 21:26
Status Success
Total duration 23s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in