Use `x.py` to build and run the dashboard.#333

Merged

adpaco-aws merged 3 commits intomodel-checking:main-153-2021-07-15from

bdalrhm:dashboard-build

Jul 21, 2021

Commits on Jul 19, 2021

Use `x.py` to build and run the dashboard.
bdalrhm
committed

Commits on Jul 20, 2021

Stop looking for copyright notice in markdown files.
bdalrhm
committed

Commits on Jul 21, 2021

Merge branch 'main-153-2021-07-15' into dashboard-build
adpaco-aws
authored