Skip to content

Merge pull request #1810 from dbungert/mantic-2023-09-27 #3206

Merge pull request #1810 from dbungert/mantic-2023-09-27

Merge pull request #1810 from dbungert/mantic-2023-09-27 #3206

Triggered via push September 27, 2023 21:32
Status Success
Total duration 7m 33s
Artifacts

build.yaml

on: push
format-black
17s
format-black
format-isort
10s
format-isort
static-typing
0s
static-typing
Matrix: lint
Matrix: test
Fit to window
Zoom out
Zoom in