Skip to content
.github/workflows/main.yml

ci: test old versions of lambdapi #180

Sign in to view logs

ci: test old versions of lambdapi

ci: test old versions of lambdapi #180

Triggered via pull request February 4, 2025 15:45
@fblanquifblanqui
opened #31
fblanqui:ci
Status Failure
Total duration 4m 56s
Artifacts –

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build (lambdapi.2.3.1)
Process completed with exit code 2.
build (lambdapi.2.4.1)
Process completed with exit code 2.
build (lambdapi.2.5.0)
Process completed with exit code 2.
build (lambdapi.2.4.0)
Process completed with exit code 2.
build (lambdapi.2.5.1)
Process completed with exit code 2.