Commit 2874777
authored
Switch to
We seem to be exceeding the available disk space limit on github actions
so try to cut down on disk space usage. Locally this drops from ~20G
usage to ~6G so hopefully that's enough headroom for now...check for fuzz targets (#12151)1 parent 43d94e5 commit 2874777
1 file changed
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
635 | 635 | | |
636 | 636 | | |
637 | 637 | | |
638 | | - | |
639 | | - | |
640 | | - | |
641 | | - | |
642 | | - | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + | |
643 | 643 | | |
644 | 644 | | |
645 | 645 | | |
| |||
0 commit comments