Move build-and-test onto a public runner#14

tothtamas28 wants to merge 3 commits into

masterruntimeverification/kframework-rs:masterfrom

public-runnersruntimeverification/kframework-rs:public-runnersCopy head branch name to clipboard