I am not sure why there are any changes regarding the up-spec folder in the second commit. FMPOV these should not be included. In any case, FMPOV this PR should be split up in two: one dealing with the CI workflows and the other with the devcontainer. The devcontainer fixes are currently split between the two commits.
Doing that