CI Scripts for Plasma

This reposoitory is a small repo with some docker scripts that are used by github's CI system.

• plasma-ci-dep contains the Plasma dependencies for CI docker image. This is a base image with Mercury and other dependencies that is used for CI. See docker hub.
• rotd contains the ROTD version of the CI image, it is based on the plasma-dep image.

The relevant github documentation is:

• Creating a docker action
• Metadata syntax for github actions