Skip to content

chore: add ignore/ directory to .gitignore #189

chore: add ignore/ directory to .gitignore

chore: add ignore/ directory to .gitignore #189

Triggered via push December 15, 2025 11:35
Status Success
Total duration 51s
Artifacts

main.yml

on: push
Matrix: tests-and-type-check
Fit to window
Zoom out
Zoom in