Whilst we are talking about binder and GHA:
We (treebeard) shamelessly re-architected our notebook CI framework onto GitHub Actions after seeing the great pattern laid out by Hamel.
As huge fans of both Jupyter and GitHub actions we’d like to help the community work more smoothly with infrastructure, so our project is focussed more on catching bugs during integration.
I also had some ideas for tightening up the config schema which may come in handy if considering a formulation for binder which uses pre-cached images (definitely for another thread though).