Skip to content
Check, Build and Deploy

Add local stubs to remove unused type-ignore comments #1719

Sign in to view logs

Add local stubs to remove unused type-ignore comments

Add local stubs to remove unused type-ignore comments #1719

Triggered via pull request October 7, 2025 12:12
@automatic-pr-updaterautomatic-pr-updater[bot]
synchronize #635
remove-unused-ignore-comments
Status Success
Total duration 1m 39s
Artifacts 1

check-build-deploy.yaml

on: pull_request
uv-check
15s
uv-check
pre-commit
30s
pre-commit
pymarkdown
15s
pymarkdown
ruff-lint
14s
ruff-lint
mypy
32s
mypy
pytest
25s
pytest
build-and-publish
41s
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~XE32R8.dockerbuild Expired
40.6 KB
sha256:6008b1e8e6b537105120b9711875c0a7f6d117ed6a18736e8715bbc00fef1d06