Giter Site home page Giter Site logo

Travis started to fail about satysfi HOT 8 CLOSED

gfngfn avatar gfngfn commented on May 21, 2024
Travis started to fail

from satysfi.

Comments (8)

qnighy avatar qnighy commented on May 21, 2024 1

@mt-caret #47 might help you.

from satysfi.

qnighy avatar qnighy commented on May 21, 2024 1

I tried to bisect dune (formerly jbuilder) between 1.0+beta17 and 1.0+beta18 with the following test script:

opam reinstall -y jbuilder
opam reinstall -y core_kernel

Bisect reported ocaml/dune@9e4cc84 as the first bad commit.

from satysfi.

qnighy avatar qnighy commented on May 21, 2024 1

Probably. I'm investigating further.

from satysfi.

mt-caret avatar mt-caret commented on May 21, 2024 1

There's a PR that might be addressing the issue: ocaml/dune#567

from satysfi.

qnighy avatar qnighy commented on May 21, 2024 1

Confirmed locally that the current master (ocaml/dune@e4aac2d) does not cause the Core_kernel__ problem. I think it is good to pin to 1.0+beta17 until 1.0+beta19 is released.

from satysfi.

mt-caret avatar mt-caret commented on May 21, 2024

I get the same error message as https://travis-ci.org/gfngfn/SATySFi/builds/348081919 while packaging SATySFi for Nix; I would love to know how to fix it.

Logs:
https://gist.github.com/mt-caret/26689bcc94a81274081ff3927fa1d9c5

I'm at 042a8aa and I'm getting this error since 26aa766 so the error might be originating somewhere else...

from satysfi.

mt-caret avatar mt-caret commented on May 21, 2024

I can confirm, #47 indeed fixes the error. Thank you!

An upstream bug, then?

from satysfi.

qnighy avatar qnighy commented on May 21, 2024

The bisect procedure above was wrong; now I pinned jbuilder and satysfi to local repos and bisected on jbuilder with the following script:

opam reinstall -y jbuilder
opam reinstall -y core_kernel
opam reinstall -y satysfi

Bisect reported ocaml/dune@b383828 as the first bad commit.

from satysfi.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.