Merge and rename github workflows #84
Description
What is the relationship between this workflow and .github/workflows/build.yaml? (E.g., shouldn't we make sure the build runs successfully before we run this workflow?)
(FWIW, workflow.yaml is an annoyingly generic name, and the stuff at the top of the file doesn't shed a great deal of light on what this file does.)
Originally posted by @webbnh in arcalot/arcaflow-plugin-coremark-pro#1 (comment)