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

gtrepta merged 3 commits into

masterruntimeverification/kframework-rs:masterfrom

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