make sanity_check pass · Deducteam/lambdapi@d43d9e8

Triggered via pull request March 29, 2024 12:12

fblanqui

opened #1072

fblanqui:sanity

Status Success

Total duration 8m 41s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB