Skip to content

Add root .gitignore for caches and virtualenvs#44

Merged
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore-add-root-gitignore
May 14, 2026
Merged

Add root .gitignore for caches and virtualenvs#44
negillett merged 1 commit into
IntentProof:mainfrom
negillett:chore-add-root-gitignore

Add root .gitignore for caches and virtualenvs

d78e015
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-test
succeeded May 14, 2026 in 7s