analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Unvirtualize goblint.build-info and goblint.sites

Open sim642 opened this issue 1 year ago • 0 comments

According to https://github.com/ocsigen/js_of_ocaml/issues/1641, our workarounds for using dune build-info and sites with js_of_ocaml are no longer necessary since dune 3.7. They just work now, so things can be simplified.

TODO

  • [ ] Merge https://github.com/goblint/gobview/pull/50.

sim642 avatar Jul 24 '24 14:07 sim642