Add GitHub Actions workflow to build and test documentation on pull requests#93

ChrisJohnNOAA wants to merge 1 commit into

ERDDAP:mainERDDAP/erddap.github.io:mainfrom

ChrisJohnNOAA:jules-13505555302528720390-b1269726ChrisJohnNOAA/erddap.github.io:jules-13505555302528720390-b1269726Copy head branch name to clipboard