Skip to content

Rename CollisionPolicy to CollidePolicy - #13

Merged
nhz2 merged 1 commit into
mainfrom
collision-to-collide
Aug 11, 2026
Merged

Rename CollisionPolicy to CollidePolicy#13
nhz2 merged 1 commit into
mainfrom
collision-to-collide

rename CollisionPolicy to CollidePolicy

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

Annotations

1 warning
Julia min - ubuntu-latest - default - pull_request
succeeded Aug 11, 2026 in 5m 32s