Skip to content

Merge branch 'main' of https://github.com/HendrikBorgelt/CatCore #15

Merge branch 'main' of https://github.com/HendrikBorgelt/CatCore

Merge branch 'main' of https://github.com/HendrikBorgelt/CatCore #15

Triggered via push December 3, 2025 15:29
Status Success
Total duration 49s
Artifacts

deploy-docs.yaml

on: push
build-docs
30s
build-docs
Fit to window
Zoom out
Zoom in