Replace goblint-cil pin with published 2.0.3 #575

Sign in to view logs

Triggered via push November 24, 2023 14:34

sim642

master

Status Success

Total duration 17s

Artifacts –

metadata.yml

on: push

Matrix: zenodo-validate