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

Annotations

1 error

build (lambdapi.2.4.1)

build (lambdapi.2.4.1)
failed Feb 4, 2025 in 3m 20s