Weaken `Lattice.Lift{,2}Conf` arguments, remove `Lattice.LiftPO` · goblint/analyzer@30ccf69

Triggered via pull request April 17, 2025 15:51

sim642

synchronize #1728

lattice-lift-po

Status Success

Total duration 5m 54s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.3 MB	`sha256:4f09fd42b0ea6b92b9386b28e67b8d46a5062758dbb61099b6051ddaa4537bd2`