rename some test files · Deducteam/lambdapi@fc2d5c3

Triggered via pull request April 30, 2024 20:01

fblanqui

opened #1106

fblanqui:rename

Status Success

Total duration 9m 4s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB