File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1515 name : Test
1616 runs-on : ubuntu-latest
1717 steps :
18+ - name : Free disk space
19+ run : |
20+ sudo rm -rf /usr/share/dotnet
21+ sudo rm -rf /opt/ghc
22+ sudo rm -rf /usr/local/share/boost
23+ sudo rm -rf "$AGENT_TOOLSDIRECTORY"
24+ df -h
25+
1826 - uses : actions/checkout@v4
1927
2028 - name : Install Rust
4149 name : Lint
4250 runs-on : ubuntu-latest
4351 steps :
52+ - name : Free disk space
53+ run : |
54+ sudo rm -rf /usr/share/dotnet
55+ sudo rm -rf /opt/ghc
56+ sudo rm -rf /usr/local/share/boost
57+ sudo rm -rf "$AGENT_TOOLSDIRECTORY"
58+ df -h
59+
4460 - uses : actions/checkout@v4
4561
4662 - name : Install Rust
@@ -106,6 +122,14 @@ jobs:
106122 name : Documentation
107123 runs-on : ubuntu-latest
108124 steps :
125+ - name : Free disk space
126+ run : |
127+ sudo rm -rf /usr/share/dotnet
128+ sudo rm -rf /opt/ghc
129+ sudo rm -rf /usr/local/share/boost
130+ sudo rm -rf "$AGENT_TOOLSDIRECTORY"
131+ df -h
132+
109133 - uses : actions/checkout@v4
110134
111135 - name : Install Rust
You can’t perform that action at this time.
0 commit comments