Skip to content

Bump minimum Jedi version to 0.19.2 #991

Bump minimum Jedi version to 0.19.2

Bump minimum Jedi version to 0.19.2 #991

Annotations

1 error

Static code analysis

failed Feb 6, 2025 in 22s