Check libraries when Lambdapi code changes (#1107) · Deducteam/lambdapi@04e52b2

Triggered via push May 3, 2024 16:33

fblanqui

master

Status Success

Total duration 8m 29s

Artifacts 1

main.yml

on: push

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB