Skip to content
Check, Build and Deploy

Improve stubs again & remove more ignore comments #1728

Sign in to view logs

Improve stubs again & remove more ignore comments

Improve stubs again & remove more ignore comments #1728

Triggered via pull request October 7, 2025 15:07
@CarrotManMattCarrotManMatt
opened #638
remove-more-type-ignore
Status Success
Total duration 2m 35s
Artifacts 1

check-build-deploy.yaml

on: pull_request
uv-check
13s
uv-check
pre-commit
38s
pre-commit
pymarkdown
20s
pymarkdown
ruff-lint
22s
ruff-lint
mypy
36s
mypy
pytest
32s
pytest
build-and-publish
1m 36s
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~Z6WUK3.dockerbuild Expired
41.4 KB
sha256:66c59290523b5eba97ccb533fb94ebcc71283193a14a17180d155a3f0656c7dc