Merge branch 'goblint-ocaml-5-apron' into master_ocaml5 #203

Sign in to view logs

Triggered via push May 3, 2024 12:05

FelixKrayer

master_ocaml5

Status Success

Total duration 3m 32s

Artifacts –

indentation.yml

on: push

Matrix: indentation