Skip to content

Merge branch 'develop' into hackdna/mypy-update #807

Merge branch 'develop' into hackdna/mypy-update

Merge branch 'develop' into hackdna/mypy-update #807

Triggered via push November 1, 2023 17:01
Status Success
Total duration 5m 0s
Artifacts

build.yml

on: push
Matrix: Run tests
Fit to window
Zoom out
Zoom in