Introduce mem-rel! function in builtin_stdlib.elpi #1412
This workflow is awaiting approval from a maintainer in #381
Triggered via pull request
October 29, 2025 16:04
patrick-nicodemus
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #381
main.yml
on: pull_request
Matrix: Build and test elpi
Waiting for pending jobs
Aggregate and plot benchmarking data