Skip to content
CI

Merge pull request #1833 from dbungert/merge-variation-bug #62

Sign in to view logs

Merge pull request #1833 from dbungert/merge-variation-bug

Merge pull request #1833 from dbungert/merge-variation-bug #62

Triggered via push October 10, 2023 17:40
@dbungertdbungert
pushed 7717b0d
ubuntu/mantic
Status Success
Total duration 7m 0s
Artifacts –

ci.yaml

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