Skip to content
Proof PR

[DROP] testing only: force ts-2023 isa branch #2597

Sign in to view logs

[DROP] testing only: force ts-2023 isa branch

[DROP] testing only: force ts-2023 isa branch #2597

GitHub Actions / File annotations for theory linter succeeded Oct 5, 2023 in 0s

File annotations for theory linter

View more details on GitHub Actions