Add a separated workflow fro lint #440
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Clear up some space on runner | |
| run: | | |
| dpkg-query -Wf '${Installed-Size}\t${Package}\n' | sort -n | tail -n 100 | |
| df -h | |
| sudo apt-get remove -y '^dotnet-.*' | |
| sudo apt-get remove -y '^libclang.*' | |
| sudo apt-get remove -y '^llvm-.*' | |
| sudo apt-get remove -y '^mongodb-.*' | |
| sudo apt-get remove -y '^mysql-.*' | |
| sudo apt-get remove -y '^postgresql-.*' | |
| sudo apt-get remove -y 'php.*' | |
| sudo apt-get remove -y azure-cli google-chrome-stable firefox powershell mono-devel | |
| sudo apt-get autoremove -y | |
| sudo apt-get clean | |
| rm -rf /usr/share/dotnet/ | |
| df -h | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| - name: check if tags are correct | |
| run: | | |
| make check-tags | |
| - name: run solutions | |
| run: | | |
| make run |