Skip to content

Merge branch 'main' into bump-pylint #33

Merge branch 'main' into bump-pylint

Merge branch 'main' into bump-pylint #33

Triggered via push October 2, 2024 01:49
Status Success
Total duration 5m 40s
Artifacts

misc_0.yml

on: push
spellcheck
9s
spellcheck
tracecontext
29s
tracecontext
mypy
17s
mypy
mypyinstalled
16s
mypyinstalled
pyright
26s
pyright
docs
55s
docs
docker-tests-proto3
38s
docker-tests-proto3
docker-tests-proto4
41s
docker-tests-proto4
public-symbols-check
0s
public-symbols-check
shellcheck
14s
shellcheck
generate-workflows
0s
generate-workflows
Fit to window
Zoom out
Zoom in