ci: test newer versions of lambdapi #117
Triggered via pull request
October 19, 2023 20:55
fblanqui
Status
Cancelled
Total duration
1m 11s
Artifacts
–
Annotations
8 errors
|
build (lambdapi)
The run was canceled by @fblanqui.
|
|
build (lambdapi)
The operation was canceled.
|
|
build (lambdapi.2.3.1)
The run was canceled by @fblanqui.
|
|
build (lambdapi.2.3.1)
The operation was canceled.
|
|
build (lambdapi.2.4.0)
The run was canceled by @fblanqui.
|
|
build (lambdapi.2.4.0)
The operation was canceled.
|
|
build (lambdapi.2.3.0)
The run was canceled by @fblanqui.
|
|
build (lambdapi.2.3.0)
The operation was canceled.
|