Add `deletionIsSafe2` assert to `deleteObjects` #2827

Sign in to view logs

GitHub Actions / File annotations for theory linter succeeded Apr 10, 2024 in 1s

File annotations for theory linter

View more details on GitHub Actions