Merge pull request #27 from LPCIC/fix-elpi-2.0 · LPCIC/elpi-lang@f13fa7f

Triggered via push February 10, 2025 09:07

gares

master

Status Success

Total duration 1m 37s

Artifacts 2

main.yaml

on: push

Matrix: build

Produced during runtime

Name	Size	Digest
extension package 18.x Expired	9.47 MB	`sha256:f85d5181455ec7219b4bcda536555923a1d1375255930e91621f7dfbf7527587`
extension package latest Expired	9.47 MB	`sha256:cf2fbddc2bab3ce38d5f891240eb07f8b7d9c4b22b3da87e9fa1e129de74549f`