Try CI fix to save space

release/4.3a0
Frank Dellaert 2023-02-22 22:35:30 -08:00
parent ad2f598245
commit 7374a7a87d
1 changed files with 3 additions and 0 deletions

View File

@ -50,6 +50,9 @@ jobs:
version: "14"
steps:
- name: Maximize build disk space
uses: easimon/maximize-build-space@v6
- name: Checkout
uses: actions/checkout@v3