Skip to content

Merge pull request #372 from Janno/janno/fix-extend-signature #1379

Merge pull request #372 from Janno/janno/fix-extend-signature

Merge pull request #372 from Janno/janno/fix-extend-signature #1379

Annotations

1 notice

Build and test elpi (windows-latest, 4.14.x, dev)

succeeded Sep 24, 2025 in 17m 36s