Add goblint-cil.2.0.0 CI debugging hack

sim642 · sim642 · commit 70a730d14a81 · 2022-08-12T17:44:03.000+03:00
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -55,6 +55,7 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["cat" "_build/default/test/cil.log"] {with-test} # HACK for opam-repository CI debugging
 ]
 dev-repo: "git+https://github.com/goblint/cil.git"
 depexts: [

Original file line number	Diff line number	Diff line change
`@@ -55,6 +55,7 @@ build: [`
`55`	`55`	`"@runtest" {with-test}`
`56`	`56`	`"@doc" {with-doc}`
`57`	`57`	`]`
	`58`	`+ ["cat" "_build/default/test/cil.log"] {with-test} # HACK for opam-repository CI debugging`
`58`	`59`	`]`
`59`	`60`	`dev-repo: "git+https://github.com/goblint/cil.git"`
`60`	`61`	`depexts: [`