@samth can I pls have an overview of the boards registered with the racket org? I have too many boards and only some are registered with the racket org. Some died and although I should keep track which is which I am now in a muddle not knowing which died and are for racket or which are alive and I could re-assign to racket.
I do know you can see that in the settings for the racket org somewhere. I guess related to local github runners or something.
if you could screenshot and post it, I would appreciate it, thanks.
Is this the information you need? It’s from GitHub racket/racket -> Settings -> Actions -> Runners
@mflatt thanks , that’s what I need… but I don’t have permissions to see it, which is why I asked. Thanks.
for some reason they are all green and idle although I am pretty sure rpi-slave4 is dead.
Will try restarting a couple of jobs to see if they are picked up.
It was picked up alright…
failed straight away… hummm, maybe some issue with docker on the board… will check.
FWIW, this is what I posted earlier
@pmatos it seems like the change to racket/racket-ci yesterday (https://hub.docker.com/r/racket/racket-ci/\|https://hub.docker.com/r/racket/racket-ci/) breaks the workflows (e.g. https://github.com/racket/racket/actions/workflows/ubsan-arm.yml\|https://github.com/racket/racket/actions/workflows/ubsan-arm.yml).
A new warning that was never there before appeared:
WARNING: The requested image’s platform (linux/amd64) does not match the detected host platform (linux/arm64/v8) and no specific platform was requested