Skip to content

Merge pull request #10 from GaloisInc/allow-newer-happy #9

Merge pull request #10 from GaloisInc/allow-newer-happy

Merge pull request #10 from GaloisInc/allow-newer-happy #9

Annotations

10 warnings

build (ubuntu-22.04, 9.8.2, 3.10.3.0)

succeeded Jan 10, 2025 in 7m 19s