Skip to content
.github/workflows/main.yml

following changes in lambdapi, rename --erasing into --mapping #1026

Sign in to view logs

following changes in lambdapi, rename --erasing into --mapping

following changes in lambdapi, rename --erasing into --mapping #1026

Triggered via push January 21, 2025 13:40
@fblanquifblanqui
pushed 7eb6a02
main
Status Failure
Total duration 17m 25s
Artifacts –

main.yml

on: push
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, mappings_N)
Process completed with exit code 2.
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, mappings_N)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, mappings_nat)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636