pocmatos
2020-10-30 07:10:19

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


pocmatos
2020-10-30 07:10:53

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


sorawee
2020-10-30 07:11:09

I’m confused though


sorawee
2020-10-30 07:11:24

redex is not listed as a dependency in htdp-test


pocmatos
2020-10-30 07:11:36

That’s probably a bug in htdp


sorawee
2020-10-30 07:11:37

So it looks like it should be listed as a dependency


pocmatos
2020-10-30 07:11:45

we should probably list it as a test-dependency.


pocmatos
2020-10-30 07:11:47

right…


pocmatos
2020-10-30 07:12:03

but I don’t know enough about htdp to know what kind of dependency it is.


sorawee
2020-10-30 07:12:10

But when I ran raco setup --fix-pkg-deps --pkgs htdp-test


pocmatos
2020-10-30 07:12:13

is it a dependency of htdp-lib or htdp-test?


sorawee
2020-10-30 07:12:15

nothing happens


sorawee
2020-10-30 07:12:24

dependency of htdp-test


pocmatos
2020-10-30 07:12:25

maybe it’sa dependency of htdp-lib?


sorawee
2020-10-30 07:12:33

No, it’s used in htdp-test


sorawee
2020-10-30 07:12:36

I’m confident


pocmatos
2020-10-30 07:12:41

ok


pocmatos
2020-10-30 07:12:48

I am confused then.


pocmatos
2020-10-30 07:13:31

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


sorawee
2020-10-30 07:14:03

thanks!


sorawee
2020-10-30 07:14:14

I’ll see what’s going on


pocmatos
2020-10-30 07:14:48

Thanks



sorawee
2020-10-30 07:54:07

aha!



sorawee
2020-10-30 07:55:49

tests is in compile-omit-paths


sorawee
2020-10-30 08:38:52

Alright, once merged, it should work as expected now.


sorawee
2020-10-30 08:43:47

Actually, it’s too soon to say that



sorawee
2020-10-30 08:44:19

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)


sorawee
2020-10-30 08:44:37

Not sure if this means our setup is wrong or it’s really a bug.


samth
2020-10-30 13:16:21

I think there’s a change to deinprogramm that’s missing


sorawee
2020-10-31 01:16:12

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.