Check libraries when Lambdapi code changes · Deducteam/lambdapi@2c545d9

Triggered via pull request May 3, 2024 16:10

fblanqui

synchronize #1107

Status Success

Total duration 8m 22s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB