Support devcontainer, refactor GitHub acitons, add documentation#92

Merged

pelesh merged 5 commits intodevelopfrom doc-update-dev

Dec 7, 2023

+331-550

Commits on Dec 6, 2023

Add devcontainer working build and pipeline for docs without action.

cameronrutherford
authored and
[email protected]
committed
add instructions for dev container
[email protected]
committed
remove documentation pipeline from running everytime
[email protected]
committed

Commits on Dec 7, 2023