Skip to content

Merge pull request #401 from SkySkimmer/indirect #420

Merge pull request #401 from SkySkimmer/indirect

Merge pull request #401 from SkySkimmer/indirect #420

Annotations

1 warning

build (4.10.x, test, coq.dev)

succeeded Apr 7, 2024 in 8m 17s