FFI: variadic do return extra goals · LPCIC/elpi@22eabfa

Triggered via pull request March 2, 2026 08:50

gares

synchronize #396

fix-variadic-api

Status Success

Total duration 3m 10s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
doc	8.43 MB	`sha256:7ab9040ee875f1a4f706067b3ce0febe03b4598589afd245aa7a3aa9767aaa9f`