Previous implementation of wget the latest rmf.repos. from main is incorrect. Should use the current rmf.repos from the working branch.
This will be handy in future to run a CI test with different rmf working branches, by re-configure rmf.repos. (then manually trigger a build process, or have a webhook soon{?})
Fix badge
Trigger build during PR, while not update the docker pkg
CI related
wget
the latestrmf.repos.
frommain
is incorrect. Should use the currentrmf.repos
from the working branch.rmf.repos
. (then manually trigger a build process, or have a webhook soon{?})