Skip to content

Merge pull request #118 from jerry-git/fix/github-pages-table-formatting #403

Merge pull request #118 from jerry-git/fix/github-pages-table-formatting

Merge pull request #118 from jerry-git/fix/github-pages-table-formatting #403

Triggered via push February 3, 2026 09:32
Status Success
Total duration 59s
Artifacts

test.yml

on: push
actionlint
7s
actionlint
Check if automatic project update was successful
5s
Check if automatic project update was successful
pre-commit
36s
pre-commit
docs
27s
docs
Matrix: test
Fit to window
Zoom out
Zoom in