Building on toxis.caelum.ci.dev
(from ocaml/opam:debian-unstable)
2025-06-02 19:14.57 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-06-02 19:14.57 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q f7c62d8b58219a7acd28190fe0201d4936b925dc"))
2025-06-02 19:14.57 ---> using "8ec8fb3b01920805c5882225a060245d1e01b7f8a58452744d80fb4d9c84a3bb" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-06-02 19:14.57 ---> using "5056a2e943e16023d9efb7b6072ad686303918b43171b6ec17c275a75e483e0c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3-dune' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3-dune)
2025-06-02 19:14.57 ---> using "41d02235938b3656a61bde013c8f42923117467d695b98e386543c081bf5db2a" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [208 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Err:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Couldn't find the start of the patch series
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [10.1 MB]
- Fetched 10.4 MB in 1s (7816 kB/s)
- Reading package lists...
-
2025-06-02 19:14.57 ---> using "b0cd07434375db6604406f18f965a6c279255458c60838a23b112a3006dafc94" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.19.0
The following actions will be performed:
=== install 1 package
- install dune 3.19.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.19.0 (cached)
-> installed dune.3.19.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-02 19:14.57 ---> using "7356a21f688af1029bba84f7d15d4839a804c28223967275a49a5188ebbd5ca3" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
################################################# 69.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-06-02 19:14.57 ---> using "088b741a9b0de263c3a24a6306c6854cf5ddcded87c6204eb385b8f376b0d0f8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "mkdir /tmp/sexp && cd /tmp/sexp && opam switch create ./ ocaml-base-compiler.5.2.1 --no-install && opam install -y sexp && cd -"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.1 (cached)
-> installed ocaml-base-compiler.5.2.1
-> installed ocaml-config.3
-> installed ocaml.5.2.1
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env)
The following actions will be performed:
=== install 101 packages
- install angstrom 0.16.1 [required by jsonaf]
- install async v0.17.0 [required by sexp]
- install async_kernel v0.17.0 [required by async]
- install async_log v0.17.0 [required by async]
- install async_rpc_kernel v0.17.0 [required by async]
- install async_unix v0.17.0 [required by async]
- install base v0.17.2 [required by jsonaf, sexp_select]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.0 [required by core]
- install bigstringaf 0.10.0 [required by angstrom, faraday]
- install bin_prot v0.17.0-1 [required by core]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-g++ 1.0 [required by re2]
- install core v0.17.1 [required by sexp]
- install core_kernel v0.17.0 [required by sexp]
- install core_unix v0.17.1 [required by sexp]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by async_unix]
- install csvfields v0.17.0 [required by sexp]
- install dune 3.19.0 [required by sexp]
- install dune-configurator 3.19.0 [required by bigstringaf]
- install expect_test_helpers_core v0.17.0 [required by core_unix]
- install faraday 0.8.2 [required by jsonaf]
- install fieldslib v0.17.0 [required by core]
- install fmt 0.10.0 [required by cstruct]
- install gel v0.17.0 [required by async_rpc_kernel]
- install int_repr v0.17.0 [required by core_kernel]
- install jane-street-headers v0.17.0 [required by core]
- install jane_rope v0.17.0 [required by re2]
- install jsonaf v0.17.0 [required by sexp]
- install jst-config v0.17.0 [required by shell]
- install num 1.5-1 [required by csvfields]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by uutf]
- install ocamlfind 1.9.8 [required by uutf]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.0 [required by ppx_jane]
- install ppx_bin_prot v0.17.0 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_diff]
- install ppx_custom_printf v0.17.0 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_diff v0.17.0 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.2 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by ppx_jane]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.0 [required by ppx_base]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.0 [required by core]
- install ppx_jane v0.17.0 [required by sexp]
- install ppx_let v0.17.0 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.0 [required by core_kernel, core, async_unix]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.0 [required by core]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.0 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by ppx_jane]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.0 [required by ppx_jane]
- install ppx_typerep_conv v0.17.0 [required by ppx_jane]
- install ppx_variants_conv v0.17.0 [required by ppx_jane]
- install ppxlib 0.35.0 [required by ppx_diff]
- install ppxlib_jane v0.17.0 [required by ppx_diff]
- install protocol_version_header v0.17.0 [required by async_rpc_kernel]
- install re 1.12.0 [required by expect_test_helpers_core]
- install re2 v0.17.0 [required by sexp]
- install regex_parser_intf v0.17.0 [required by re2]
- install seq base [required by re]
- install sexp v0.17.0
- install sexp_diff v0.17.0 [required by sexp]
- install sexp_macro v0.17.0 [required by sexp]
- install sexp_pretty v0.17.0 [required by sexp]
- install sexp_select v0.17.0 [required by sexp]
- install sexplib v0.17.0 [required by sexp]
- install sexplib0 v0.17.0 [required by base]
- install shell v0.17.0 [required by sexp]
- install spawn v0.17.0 [required by shell]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by core]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install textutils v0.17.0 [required by async, shell]
- install time_now v0.17.0 [required by core]
- install timezone v0.17.0 [required by async_log]
- install topkg 1.0.8 [required by uutf]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install uutf 1.0.4 [required by textutils]
- install variantslib v0.17.0 [required by core]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1 (cached)
-> retrieved async.v0.17.0 (cached)
-> retrieved async_kernel.v0.17.0 (cached)
-> retrieved async_log.v0.17.0 (cached)
-> retrieved async_rpc_kernel.v0.17.0 (cached)
-> retrieved async_unix.v0.17.0 (cached)
-> retrieved base.v0.17.2 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved bin_prot.v0.17.0-1 (cached)
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-g++.1.0
-> retrieved core_unix.v0.17.1 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved csvfields.v0.17.0 (cached)
-> retrieved expect_test_helpers_core.v0.17.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved fmt.0.10.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jsonaf.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved dune.3.19.0, dune-configurator.3.19.0 (cached)
-> installed num.1.5-1
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> retrieved protocol_version_header.v0.17.0 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved sexp.v0.17.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexp_diff.v0.17.0 (cached)
-> retrieved sexp_macro.v0.17.0 (cached)
-> retrieved sexp_pretty.v0.17.0 (cached)
-> retrieved sexp_select.v0.17.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved shell.v0.17.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved textutils.v0.17.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved timezone.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved topkg.1.0.8 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed dune.3.19.0
-> installed jane-street-headers.v0.17.0
-> installed ppx_derivers.1.2.1
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed spawn.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed parsexp.v0.17.0
-> installed dune-configurator.3.19.0
-> installed bigstringaf.0.10.0
-> installed sexplib.v0.17.0
-> installed faraday.0.8.2
-> installed angstrom.0.16.1
-> installed base.v0.17.2
-> installed variantslib.v0.17.0
-> installed fieldslib.v0.17.0
-> installed regex_parser_intf.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.35.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_hash.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed sexp_pretty.v0.17.0
-> installed bin_prot.v0.17.0-1
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed jane_rope.v0.17.0
-> installed jsonaf.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed csvfields.v0.17.0
-> installed protocol_version_header.v0.17.0
-> installed sexp_diff.v0.17.0
-> installed timezone.v0.17.0
-> installed expect_test_helpers_core.v0.17.0
-> installed core_kernel.v0.17.0
-> installed sexp_select.v0.17.0
-> installed async_kernel.v0.17.0
-> installed core_unix.v0.17.1
-> installed textutils.v0.17.0
-> installed async_rpc_kernel.v0.17.0
-> installed shell.v0.17.0
-> installed async_unix.v0.17.0
-> installed async_log.v0.17.0
-> installed async.v0.17.0
-> installed sexp_macro.v0.17.0
-> installed re2.v0.17.0
-> installed sexp.v0.17.0
Done.
# To update the current shell environment, run: eval $(opam env)
/
2025-06-02 19:14.57 ---> using "edcd07168de0b5baba3a3a2dda4e0217580f7714a2f2e68bf6c546dc47805c9e" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- arch-x86_64.1
- conf-mingw-w64-gcc-i686.1
- conf-mingw-w64-gcc-x86_64.1
- flexdll.0.44
- mingw-w64-shims.0.2.0
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
- ocaml-env-mingw32.1
- ocaml-env-mingw64.1
- system-mingw.1
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-06-02 19:14.57 ---> using "1a0725e47b4a8a55e887cca04acdfeaf74ecb10ef87ff7a102d5fd3e6f1249f5" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source goblint.2.5.0 && cd goblint.2.5.0 && if [ -f opam ]; then mv opam goblint.opam; fi && echo goblint >> /tmp/packages-in-repo && for opam in *.opam; do echo ${opam%.opam} >> /tmp/packages-in-repo; done && sed -n 's/(name \\(.*\\))/\\1/p' < dune-project | sed 's/^[[:blank:]]*//;s/[[:blank:]]*$//' >> /tmp/packages-in-repo && while read package ; do opam show --raw ${package}.2.5.0 > ${package}.opam; done < /tmp/packages-in-repo && opam install --dry-run --with-test ./goblint.opam | sed -nE 's/(.*)- install ([^[:blank:]]*)(.*)/\\2/p' > /tmp/packages-via-opam && for opam in *.opam; do rm $opam; echo ${opam%.opam} >> /tmp/packages-locally-available; done && opam show --raw goblint.2.5.0 > goblint.opam && /tmp/sexp/_opam/bin/sexp change '(try (rewrite (package @X) OPAM-HEALTH-CHECK-DROP))' < dune-project | grep -v OPAM-HEALTH-CHECK-DROP > dune-project-no-pkg && mv dune-project dune-project-pkg && mv dune-project-no-pkg dune-project && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default))\
\n\
\n(repository\
\n (name default)\
\n (url \"file:///home/opam/opam-repository\"))\
\n\
\n\
\n' > dune-workspace && echo goblint >> /tmp/packages-to-build && while read package ; do if grep --quiet \"^${package}\\$\" /tmp/packages-via-opam ; then echo $package >> /tmp/packages-to-build ; fi ; done < /tmp/packages-locally-available && while read package ; do opam show --raw $package > $package.opam; done < /tmp/packages-to-build && while read package ; do if [ ! -f ${package}.opam ]; then echo \"opam-version: \\\"2.0\\\"\" > ${package}.opam; fi; done < /tmp/packages-locally-available && paste -s -d , /tmp/packages-to-build > /tmp/packages-for-dune && export DUNE_CONFIG__PORTABLE_LOCK_DIR=disabled && PATH=$HOME/.local/bin:$PATH dune pkg lock || (echo \"opam-health-check: Solve failed\" && exit 1) && PATH=$HOME/.local/bin:$PATH dune show depexts 2> /tmp/depexts-from-dune && paste -s -d \" \" /tmp/depexts-from-dune > /tmp/depexts-for-apt && sudo apt-get install -y $(cat /tmp/depexts-for-apt) && grep -v dependency_hash dune.lock/lock.dune > /tmp/lock.dune && mv /tmp/lock.dune dune.lock/lock.dune && mv dune-project-pkg dune-project && PATH=$HOME/.local/bin:$PATH dune build --release --only-packages $(cat /tmp/packages-for-dune) || (echo \"opam-health-check: Build failed\" && exit 1)"))
Successfully extracted to /home/opam/goblint.2.5.0
Solution for dune.lock:
- angstrom.0.16.1
- arg-complete.0.2.1
- astring.0.8.5
- base-threads.base
- base-unix.base
- batteries.3.9.0
- benchmark.1.7
- bigarray-compat.1.1.0
- bigstringaf.0.10.0
- bos.0.2.1
- camlp-streams.5.0.1
- catapult.0.2
- catapult-file.0.2
- conf-autoconf.0.2
- conf-gcc.1.0
- conf-gmp.5
- conf-perl.2
- conf-pkg-config.4
- conf-ruby.1.0.0
- cppo.1.8.0
- cpu.2.0.0
- csexp.1.5.2
- cstruct.6.2.0
- ctypes.0.23.0
- dune-build-info.3.19.0
- dune-configurator.3.19.0
- dune-private-libs.3.19.0
- dune-site.3.19.0
- dyn.3.19.0
- fileutils.0.6.6
- fmt.0.10.0
- fpath.0.7.3
- goblint-cil.2.0.6
- hex.1.5.0
- integers.0.7.0
- json-data-encoding.1.0.1
- jsonrpc.1.22.0
- logs.0.8.0
- num.1.5-1
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml-syntax-shims.1.0.0
- ocamlbuild.0.16.1+dune
- ocamlfind.1.9.8+dune
- ordering.3.19.0
- ounit2.2.2.7
- pp.2.0.0
- ppx_blob.0.9.0
- ppx_derivers.1.2.1
- ppx_deriving.6.1.0
- ppx_deriving_hash.0.1.3
- ppx_deriving_yojson.3.10.0
- ppxlib.0.36.0
- qcheck-core.0.25
- qcheck-ounit.0.25
- rresult.0.7.0
- seq.base
- sexplib0.v0.17.0
- sha.1.15.4
- stdlib-shims.0.3.0
- stdune.3.19.0
- stringext.1.6.0
- topkg.1.0.8
- uri.4.4.0
- uuidm.0.9.10
- yaml.3.2.0
- yojson.2.2.2
- zarith.1.14
Reading package lists...
Building dependency tree...
Reading state information...
gcc is already the newest version (4:14.2.0-1).
gcc set to manually installed.
The following additional packages will be installed:
automake autotools-dev fonts-lato javascript-common libgmpxx4ldbl
libjs-jquery libperl5.40 libpkgconf3 libruby libruby3.3 libyaml-0-2 m4
perl-base perl-modules-5.40 pkgconf pkgconf-bin rake ruby-csv
ruby-did-you-mean ruby-net-telnet ruby-ruby2-keywords ruby-rubygems
ruby-sdbm ruby-webrick ruby-xmlrpc ruby3.3 rubygems-integration zip
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext apache2
| lighttpd | httpd gmp-doc libgmp10-doc libmpfr-dev m4-doc ri ruby-dev
bundler
The following NEW packages will be installed:
autoconf automake autotools-dev fonts-lato javascript-common libgmp-dev
libgmpxx4ldbl libjs-jquery libpkgconf3 libruby libruby3.3 libyaml-0-2 m4
pkg-config pkgconf pkgconf-bin rake ruby ruby-csv ruby-did-you-mean
ruby-net-telnet ruby-ruby2-keywords ruby-rubygems ruby-sdbm ruby-webrick
ruby-xmlrpc ruby3.3 rubygems-integration zip
The following packages will be upgraded:
libperl5.40 perl perl-base perl-modules-5.40
4 upgraded, 29 newly installed, 0 to remove and 76 not upgraded.
Need to get 23.3 MB of archives.
After this operation, 55.6 MB of additional disk space will be used.
Get:1 http://deb.debian.org/debian unstable/main amd64 libperl5.40 amd64 5.40.1-3 [4320 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 perl amd64 5.40.1-3 [267 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 perl-base amd64 5.40.1-3 [1665 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 perl-modules-5.40 all 5.40.1-3 [3021 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 fonts-lato all 2.015-1 [2780 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-8 [294 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-4 [862 kB]
Get:10 http://deb.debian.org/debian unstable/main amd64 javascript-common all 12+nmu1 [4864 B]
Get:11 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-3 [329 kB]
Get:12 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-3 [642 kB]
Get:13 http://deb.debian.org/debian unstable/main amd64 libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [326 kB]
Get:14 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get:15 http://deb.debian.org/debian unstable/main amd64 rubygems-integration all 1.19 [5488 B]
Get:16 http://deb.debian.org/debian unstable/main amd64 ruby3.3 amd64 3.3.8-2 [834 kB]
Get:17 http://deb.debian.org/debian unstable/main amd64 ruby-rubygems all 3.6.7-2 [407 kB]
Get:18 http://deb.debian.org/debian unstable/main amd64 ruby amd64 1:3.3+b1 [6560 B]
Get:19 http://deb.debian.org/debian unstable/main amd64 rake all 13.2.1-1 [65.2 kB]
Get:20 http://deb.debian.org/debian unstable/main amd64 ruby-csv all 3.3.4-1 [42.2 kB]
Get:21 http://deb.debian.org/debian unstable/main amd64 ruby-did-you-mean all 1.6.3-2 [20.9 kB]
Get:22 http://deb.debian.org/debian unstable/main amd64 ruby-net-telnet all 0.2.0-1 [13.1 kB]
Get:23 http://deb.debian.org/debian unstable/main amd64 ruby-ruby2-keywords all 0.0.5-1 [4300 B]
Get:24 http://deb.debian.org/debian unstable/main amd64 ruby-webrick all 1.9.1-1 [59.6 kB]
Get:25 http://deb.debian.org/debian unstable/main amd64 ruby-xmlrpc all 0.3.3-2 [24.4 kB]
Get:26 http://deb.debian.org/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2 [52.5 kB]
Get:27 http://deb.debian.org/debian unstable/main amd64 libruby3.3 amd64 3.3.8-2 [6301 kB]
Get:28 http://deb.debian.org/debian unstable/main amd64 libruby amd64 1:3.3+b1 [5440 B]
Get:29 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get:30 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Get:31 http://deb.debian.org/debian unstable/main amd64 pkg-config amd64 1.8.1-4 [14.0 kB]
Get:32 http://deb.debian.org/debian unstable/main amd64 ruby-sdbm amd64 1.0.0-5+b7 [15.1 kB]
Get:33 http://deb.debian.org/debian unstable/main amd64 zip amd64 3.0-15 [235 kB]
Fetched 23.3 MB in 1s (22.1 MB/s)
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19483 files and directories currently installed.)
Preparing to unpack .../libperl5.40_5.40.1-3_amd64.deb ...
Unpacking libperl5.40:amd64 (5.40.1-3) over (5.40.1-2) ...
Preparing to unpack .../perl_5.40.1-3_amd64.deb ...
Unpacking perl (5.40.1-3) over (5.40.1-2) ...
Preparing to unpack .../perl-base_5.40.1-3_amd64.deb ...
Unpacking perl-base (5.40.1-3) over (5.40.1-2) ...
Setting up perl-base (5.40.1-3) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19483 files and directories currently installed.)
Preparing to unpack .../00-perl-modules-5.40_5.40.1-3_all.deb ...
Unpacking perl-modules-5.40 (5.40.1-3) over (5.40.1-2) ...
Selecting previously unselected package fonts-lato.
Preparing to unpack .../01-fonts-lato_2.015-1_all.deb ...
Unpacking fonts-lato (2.015-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../02-m4_1.4.19-8_amd64.deb ...
Unpacking m4 (1.4.19-8) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../03-autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../04-autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../05-automake_1%3a1.17-4_all.deb ...
Unpacking automake (1:1.17-4) ...
Selecting previously unselected package javascript-common.
Preparing to unpack .../06-javascript-common_12+nmu1_all.deb ...
Unpacking javascript-common (12+nmu1) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../07-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../08-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../09-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../10-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package rubygems-integration.
Preparing to unpack .../11-rubygems-integration_1.19_all.deb ...
Unpacking rubygems-integration (1.19) ...
Selecting previously unselected package ruby3.3.
Preparing to unpack .../12-ruby3.3_3.3.8-2_amd64.deb ...
Unpacking ruby3.3 (3.3.8-2) ...
Selecting previously unselected package ruby-rubygems.
Preparing to unpack .../13-ruby-rubygems_3.6.7-2_all.deb ...
Unpacking ruby-rubygems (3.6.7-2) ...
Selecting previously unselected package ruby.
Preparing to unpack .../14-ruby_1%3a3.3+b1_amd64.deb ...
Unpacking ruby (1:3.3+b1) ...
Selecting previously unselected package rake.
Preparing to unpack .../15-rake_13.2.1-1_all.deb ...
Unpacking rake (13.2.1-1) ...
Selecting previously unselected package ruby-csv.
Preparing to unpack .../16-ruby-csv_3.3.4-1_all.deb ...
Unpacking ruby-csv (3.3.4-1) ...
Selecting previously unselected package ruby-did-you-mean.
Preparing to unpack .../17-ruby-did-you-mean_1.6.3-2_all.deb ...
Unpacking ruby-did-you-mean (1.6.3-2) ...
Selecting previously unselected package ruby-net-telnet.
Preparing to unpack .../18-ruby-net-telnet_0.2.0-1_all.deb ...
Unpacking ruby-net-telnet (0.2.0-1) ...
Selecting previously unselected package ruby-ruby2-keywords.
Preparing to unpack .../19-ruby-ruby2-keywords_0.0.5-1_all.deb ...
Unpacking ruby-ruby2-keywords (0.0.5-1) ...
Selecting previously unselected package ruby-webrick.
Preparing to unpack .../20-ruby-webrick_1.9.1-1_all.deb ...
Unpacking ruby-webrick (1.9.1-1) ...
Selecting previously unselected package ruby-xmlrpc.
Preparing to unpack .../21-ruby-xmlrpc_0.3.3-2_all.deb ...
Unpacking ruby-xmlrpc (0.3.3-2) ...
Selecting previously unselected package libyaml-0-2:amd64.
Preparing to unpack .../22-libyaml-0-2_0.2.5-2_amd64.deb ...
Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
Selecting previously unselected package libruby3.3:amd64.
Preparing to unpack .../23-libruby3.3_3.3.8-2_amd64.deb ...
Unpacking libruby3.3:amd64 (3.3.8-2) ...
Selecting previously unselected package libruby:amd64.
Preparing to unpack .../24-libruby_1%3a3.3+b1_amd64.deb ...
Unpacking libruby:amd64 (1:3.3+b1) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../25-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../26-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../27-pkg-config_1.8.1-4_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-4) ...
Selecting previously unselected package ruby-sdbm:amd64.
Preparing to unpack .../28-ruby-sdbm_1.0.0-5+b7_amd64.deb ...
Unpacking ruby-sdbm:amd64 (1.0.0-5+b7) ...
Selecting previously unselected package zip.
Preparing to unpack .../29-zip_3.0-15_amd64.deb ...
Unpacking zip (3.0-15) ...
Setting up javascript-common (12+nmu1) ...
Setting up ruby-ruby2-keywords (0.0.5-1) ...
Setting up fonts-lato (2.015-1) ...
Setting up libyaml-0-2:amd64 (0.2.5-2) ...
Setting up m4 (1.4.19-8) ...
Setting up rubygems-integration (1.19) ...
Setting up zip (3.0-15) ...
Setting up autotools-dev (20240727.1) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
Setting up ruby-net-telnet (0.2.0-1) ...
Setting up ruby-csv (3.3.4-1) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up ruby-webrick (1.9.1-1) ...
Setting up perl-modules-5.40 (5.40.1-3) ...
Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
Setting up ruby-did-you-mean (1.6.3-2) ...
Setting up ruby-xmlrpc (0.3.3-2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up libperl5.40:amd64 (5.40.1-3) ...
Setting up perl (5.40.1-3) ...
Setting up pkg-config:amd64 (1.8.1-4) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.17-4) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
Setting up rake (13.2.1-1) ...
Setting up libruby3.3:amd64 (3.3.8-2) ...
Setting up ruby-rubygems (3.6.7-2) ...
Setting up ruby3.3 (3.3.8-2) ...
Setting up libruby:amd64 (1:3.3+b1) ...
Setting up ruby (1:3.3+b1) ...
Setting up ruby-sdbm:amd64 (1.0.0-5+b7) ...
Processing triggers for libc-bin (2.41-6) ...
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building base-threads.base
Building conf-gcc.1.0
Building conf-autoconf.0.2
Building conf-perl.2
Building conf-ruby.1.0.0
Building conf-pkg-config.4
Building conf-gmp.5
Building ocaml-config.3
Building ocaml.5.3.0
Building seq.base
Downloading zarith.1.14
Downloading ocaml-compiler-libs.v0.17.0
Downloading sexplib0.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Building sexplib0.v0.17.0
Downloading ocamlbuild.0.16.1+dune
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ocamlfind.1.9.8+dune
Building ocamlbuild.0.16.1+dune
Downloading cppo.1.8.0
Building ocamlfind.1.9.8+dune
Downloading camlp-streams.5.0.1
Building cppo.1.8.0
Building camlp-streams.5.0.1
Downloading stdlib-shims.0.3.0
Downloading num.1.5-1
Building stdlib-shims.0.3.0
Building num.1.5-1
Downloading qcheck-core.0.25
Downloading stringext.1.6.0
Building qcheck-core.0.25
Building stringext.1.6.0
Downloading pp.2.0.0
Building pp.2.0.0
Downloading cpu.2.0.0
Downloading yojson.2.2.2
Building cpu.2.0.0
Downloading ocaml-syntax-shims.1.0.0
Downloading bigarray-compat.1.1.0
Building ocaml-syntax-shims.1.0.0
Downloading csexp.1.5.2
Building bigarray-compat.1.1.0
Downloading benchmark.1.7
Building csexp.1.5.2
Building yojson.2.2.2
Downloading fileutils.0.6.6
Building benchmark.1.7
Building fileutils.0.6.6
Downloading catapult.0.2
Building catapult.0.2
Downloading jsonrpc.1.22.0
Building jsonrpc.1.22.0
Downloading integers.0.7.0
Building integers.0.7.0
Downloading catapult-file.0.2
Building catapult-file.0.2
Downloading ounit2.2.2.7
Building ounit2.2.2.7
Downloading sha.1.15.4
Building sha.1.15.4
Downloading dune-build-info.3.19.0
Downloading ordering.3.19.0
Downloading dune-configurator.3.19.0
Building dune-build-info.3.19.0
Building ordering.3.19.0
Downloading qcheck-ounit.0.25
Building qcheck-ounit.0.25
Downloading ppxlib.0.36.0
Building ppxlib.0.36.0
Building dune-configurator.3.19.0
Downloading dyn.3.19.0
Building zarith.1.14
Building dyn.3.19.0
Downloading topkg.1.0.8
Building topkg.1.0.8
Downloading stdune.3.19.0
Building stdune.3.19.0
Downloading bigstringaf.0.10.0
Building bigstringaf.0.10.0
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Downloading batteries.3.9.0
Downloading arg-complete.0.2.1
Building arg-complete.0.2.1
Building batteries.3.9.0
Downloading angstrom.0.16.1
Building angstrom.0.16.1
Downloading uri.4.4.0
Building uri.4.4.0
Downloading dune-private-libs.3.19.0
Building dune-private-libs.3.19.0
Downloading rresult.0.7.0
Downloading uuidm.0.9.10
Downloading fmt.0.10.0
Building rresult.0.7.0
Building uuidm.0.9.10
Building fmt.0.10.0
Downloading astring.0.8.5
Building astring.0.8.5
Downloading dune-site.3.19.0
Downloading logs.0.8.0
Building logs.0.8.0
Downloading fpath.0.7.3
Building fpath.0.7.3
Building dune-site.3.19.0
Downloading cstruct.6.2.0
Building cstruct.6.2.0
Downloading bos.0.2.1
Building bos.0.2.1
Downloading hex.1.5.0
Building hex.1.5.0
Downloading json-data-encoding.1.0.1
Building json-data-encoding.1.0.1
Downloading yaml.3.2.0
Building yaml.3.2.0
Downloading ppx_deriving.6.1.0
Downloading ppx_blob.0.9.0
Building ppx_deriving.6.1.0
Building ppx_blob.0.9.0
Downloading ppx_deriving_yojson.3.10.0
Building ppx_deriving_yojson.3.10.0
Downloading ppx_deriving_hash.0.1.3
Building ppx_deriving_hash.0.1.3
Downloading goblint-cil.2.0.6
Building goblint-cil.2.0.6
(cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_556bfb_dune/dune-pipe-action-_4e934a_.stdout
fatal: not a git repository (or any of the parent directories): .git
2025-06-02 19:16.31 ---> saved as "6d97c055680b556ca42497fe170ef52abba1ddadddb6571592dd3266f2780ec3"
Job succeeded
Home|Differences with the last checks|Previous runs