catch Sedlexing errors · Deducteam/lambdapi@f32835d

Triggered via pull request June 24, 2024 10:34

fblanqui

opened #1123

fblanqui:err

Status Success

Total duration 8m 38s

Artifacts 1

main.yml

on: pull_request

Matrix: build_lambdapi

Produced during runtime

Name	Size
assets-for-download Expired	2.54 MB