fix default options for 2.0 · LPCIC/elpi-lang@d969046

Triggered via pull request February 10, 2025 09:06

gares

synchronize #27

fix-elpi-2.0

Status Success

Total duration 38s

Artifacts 2

main.yaml

on: pull_request

Matrix: build

Produced during runtime

Name	Size	Digest
extension package 18.x Expired	9.47 MB	`sha256:81aa528dd7c111881e6f38129e4883f002e63b3dd7acfaececd97f201868d126`
extension package latest Expired	9.47 MB	`sha256:74d2af5e89aa7124f2cfd540f549bacfd76b1426b2d0be75656bd3f7dd331120`