Skip to content

use elpi version 1.18.1 (#69) #37

use elpi version 1.18.1 (#69)

use elpi version 1.18.1 (#69) #37

Triggered via push January 2, 2024 13:22
Status Success
Total duration 2m 44s
Artifacts
Fit to window
Zoom out
Zoom in