Skip to content

Merge pull request #1926 from schilkp:schilkp/gitignore_db #700

Merge pull request #1926 from schilkp:schilkp/gitignore_db

Merge pull request #1926 from schilkp:schilkp/gitignore_db #700

Triggered via push February 12, 2025 18:21
Status Success
Total duration 49s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
7.32 MB