Skip to content

Merge pull request #978 from cas-haaijman/find-vscoqtop-windows #1478

Merge pull request #978 from cas-haaijman/find-vscoqtop-windows

Merge pull request #978 from cas-haaijman/find-vscoqtop-windows #1478

Annotations

1 warning

nix-dev-build (ubuntu-latest, 8-19, fatalwarnings)

succeeded Jan 15, 2025 in 3m 20s