Skip to content
Back to pull request #265

[compiler] build index at assembly time #810

Sign in to view logs

[compiler] build index at assembly time

[compiler] build index at assembly time #810

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

Build and test elpi (ubuntu-latest, 4.14.x, dev)
succeeded Sep 19, 2024 in 8m 7s