Disable "spec only" button when it doesn't do anything#1293

Merged

drewnoakes merged 2 commits intodotnet:mainfrom drewnoakes:hide-spec-button-when-not-needed

Dec 15, 2023

+3-1

Commits on Dec 8, 2023

Hide "spec only" button when unneeded
drewnoakes
committed

Commits on Dec 10, 2023

Disable button rather than hide it
drewnoakes
committed