elpi 3.0 · LPCIC/elpi-lang@c34f8aa

Triggered via push April 29, 2025 13:54

gares

master

Status Success

Total duration 26s

Artifacts 2

main.yaml

on: push

Matrix: build

Produced during runtime

Name	Size	Digest
extension package 18.x Expired	9.47 MB	`sha256:21d29b601fa6036bb15f795291bcb0ac3c0f253e2ab62241eb60b0d32ea18c57`
extension package latest Expired	9.47 MB	`sha256:6a0366e65268765079e210558a33120743cbfdda8d0925c87186b58ffec9e039`