Skip to content
Check, Build and Deploy

Add local stubs to remove unused type-ignore comments (#635) #1721

Sign in to view logs

Add local stubs to remove unused type-ignore comments (#635)

Add local stubs to remove unused type-ignore comments (#635) #1721

Triggered via push October 7, 2025 12:20
@CarrotManMattCarrotManMatt
pushed b30abc1
main
Status Success
Total duration 1m 54s
Artifacts 1

check-build-deploy.yaml

on: push
uv-check
15s
uv-check
pre-commit
39s
pre-commit
pymarkdown
16s
pymarkdown
ruff-lint
21s
ruff-lint
mypy
36s
mypy
pytest
30s
pytest
build-and-publish
53s
build-and-publish
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
CSSUoB~TeX-Bot-Py-V2~IUH8FP.dockerbuild Expired
41.4 KB
sha256:e019e50521e264d9101483410566997e197bac9c153be5524bb6754679b59af8