Builds of Inferno ports

[David Boddie]

A while ago, I started testing builds of various Inferno ports using GitHub's
Actions infrastructure:

https://github.com/dboddie/inferno-test-builds/

I thought it would be better to group these together into one place, though
I've yet to decide whether I should decouple the builds from the presentation:

https://dboddie.github.io/inferno-ports/

I can't really test the SAMD51 port because the board I was using no longer
works, so the instructions for that are a bit vague.

Hope this is useful,

David