SOURCE RECORD · github

RAUDI

A repo to automatically generate and keep updated a series of Docker images through GitHub Actions.

Open canonical source ↗

Research paper status → · Book status →