add flag print_meta_args · Deducteam/lambdapi@5f62c57

Triggered via pull request April 26, 2024 09:07

fblanqui

edited #1100

fblanqui:meta-args

Status Success

Total duration 7m 54s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB