.github/workflows/main.yml

remove configure and Makefile #107

Sign in to view logs

Triggered via pull request July 7, 2026 14:41

fblanqui

synchronize #59

fblanqui:warn

Status Failure

Total duration 4m 46s

Artifacts –

main.yml

on: pull_request

Matrix: build_lambdapi

Annotations

2 errors

build_lambdapi (4.14.4)

Process completed with exit code 1.

build_lambdapi (5.0.0)

Process completed with exit code 1.