lsp: fix meta numbering reset (issue #1097) · Deducteam/lambdapi@5839c6d

Triggered via pull request April 26, 2024 08:34

fblanqui

opened #1099

fblanqui:pure

Status Success

Total duration 8m 18s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB