Skip to content

Add GitHub action that assigns reviewers when equivalent class axioms are updated #1772

Add GitHub action that assigns reviewers when equivalent class axioms are updated

Add GitHub action that assigns reviewers when equivalent class axioms are updated #1772

Annotations

4 warnings

branch_status

succeeded Nov 14, 2024 in 4s