Unvirtualize goblint.build-info and goblint.sites #11502

Sign in to view logs

Triggered via pull request November 29, 2024 09:29

sim642

synchronize #1549

rm-virtual-library

Status Success

Total duration 8m 55s

Artifacts –

indentation.yml

on: pull_request

Matrix: indentation