Skip to content

Merge pull request #1126 from daniel-larraz/disallow-quantified-array #1627

Merge pull request #1126 from daniel-larraz/disallow-quantified-array

Merge pull request #1126 from daniel-larraz/disallow-quantified-array #1627

Annotations

1 warning

kind2-build (linux-x86_64)

succeeded Jan 24, 2025 in 3m 46s