It seems that the xvfb-run issue is fixed but now this: https://github.com/racket/htdp/pull/114/checks?check_run_id=1330562302#step:7:7
Also - it might be that we need to install some dependencies of htdp: https://github.com/racket/htdp/pull/114/checks?check_run_id=1330562302#step:7:123
I’m confused though
redex
is not listed as a dependency in htdp-test
That’s probably a bug in htdp
So it looks like it should be listed as a dependency
we should probably list it as a test-dependency.
right…
but I don’t know enough about htdp to know what kind of dependency it is.
But when I ran raco setup --fix-pkg-deps --pkgs htdp-test
is it a dependency of htdp-lib or htdp-test?
nothing happens
dependency of htdp-test
maybe it’sa dependency of htdp-lib?
No, it’s used in htdp-test
I’m confident
ok
I am confused then.
I have a full day so can’t investigate this today. I will in the meantime push the dockerfile change for racket-ci with xvfb-run
thanks!
I’ll see what’s going on
Thanks
aha!
tests
is in compile-omit-paths
Alright, once merged, it should work as expected now.
Actually, it’s too soon to say that
test-sequence: steps do not match
given: (Error-Result "open-input-file: cannot open module file\n module path: (lib <http://DMdA-beginner.ss\|DMdA-beginner.ss> deinprogramm)\n path: /github/home/.local/share/racket/snapshot/pkgs/deinprogramm-signature/deinprogramm/DMdA-beginner.rkt\n system error: no such file or directory; rktio_err=3")
expected: '(finished-stepping)
Not sure if this means our setup is wrong or it’s really a bug.
I think there’s a change to deinprogramm that’s missing
It’s not only that. The next error is:
test-sequence: steps do not match
given: (Error-Result "open-input-file: cannot open module file\n module path: (lib lazy.rkt lazy)\n path: /github/home/.local/share/racket/snapshot/pkgs/compatibility-lib/lazy/lazy.rkt\n system error: no such file or directory; rktio_err=3")
expected: '(before-after ((hilite (+ 3 4))) ((hilite 7)))
...Error has occurred during test: 'lazy1
despite the fact that compatibility-lib
is listed in info.rkt
correctly, and the library itself has not been changed for almost a year now.
probably related to this line: https://github.com/racket/htdp/blob/master/htdp-test/tests/stepper/language-level-model.rkt#L55