Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
With #2323 we broke the github pages CI job. ``` cd ${GITHUB_WORKSPACE} ./script/install_doxygen.sh ./script/setup_utilities/agc-manager.sh: line 3: ALPAKA_CI_OS_NAME: ALPAKA_CI_OS_NAME must be specified ```
- Loading branch information