Fix doc CI and clean workflows

This commit is contained in:
Victor Zverovich
2024-06-09 16:51:19 -07:00
parent a8cfc0cc2c
commit d175db8f5b
4 changed files with 12 additions and 9 deletions

View File

@@ -77,7 +77,7 @@ jobs:
sudo apt-add-repository ppa:ubuntu-toolchain-r/test
if: ${{ matrix.cxx == 'g++-11' }}
- name: Add ubuntu mirrors
- name: Add Ubuntu mirrors
run: |
# Github Actions caching proxy is at times unreliable
# see https://github.com/actions/runner-images/issues/7048