@popa.bogdanp I finally got around to this, and it didn’t reproduce with 7.5 on my machine. Something weird is happening with the GA run but I don’t know what it is.
can you try just re-running that action?
@pocmatos @notjack what do we think next steps are? How much of our non-GHA CI is covered by the GHA config and can be turned off already, and what do we have to go?
@samth I am delayed with my report. I met with @notjack last Thursday and promised him I would write a report with next steps and what we discussed but didn’t have time. Today I had an emergency and I couldn’t do it yet. Give me a few hours and I will get back to this. My apologies!
No problem! Things are quiet this week for me (Thanksgiving in the US) and I’m looking at various things.
@popa.bogdanp here’s the same error but for different modules triggered by typed-racket, so I think there’s a bug somewhere
Thanks for looking into it!
I’ll also be on vacation this week (starting tomorrow)
Hopefully there’ll be news and PRs by the time you are back from hols.
@notjack enjoy your holidays.
I’ve been keeping one eye on this thread and it doesn’t look like there will be any final requirements set for a dashboard for a bit. Is there anything I can work towards in terms of a front-end in parallel with all of you?
I’d need to know where to put source code if I’m not making a new repository, plus any requirements that will hold regardless of how the project evolves (if any)