Remove precomputation of name completions (unused) which is *very* slow #513
Workflow file for this run
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: Ubuntu | |
| on: | |
| push: | |
| branches: | |
| - '**' | |
| tags: | |
| - '**' | |
| pull_request: | |
| branches: | |
| - main | |
| env: | |
| SCHEME: scheme | |
| jobs: | |
| build-idris2-with-api: | |
| runs-on: ubuntu-latest | |
| env: | |
| IDRIS2_CG: chez | |
| IDRIS2_TESTS_CG: chez | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Get Idris2 commit | |
| id: get-idris2-commit | |
| run: echo "idris2-commit=$(git rev-parse @:./Idris2)" >> $GITHUB_ENV | |
| - name: Cache Idris2 with API | |
| id: cache-idris2-with-api | |
| uses: actions/cache@v2 | |
| with: | |
| path: ~/.idris2/ | |
| key: ${{ env.idris2-commit }}-idris2-with-api | |
| - name: Get Idris2 Submodule | |
| if: steps.cache-idris2-with-api.outputs.cache-hit != 'true' | |
| run: | | |
| git submodule update --init Idris2 | |
| - name: Install build dependencies | |
| if: steps.cache-idris2-with-api.outputs.cache-hit != 'true' | |
| run: | | |
| sudo apt-get install -y chezscheme | |
| echo "$HOME/.idris2/bin" >> $GITHUB_PATH | |
| - name: Build Idris2 with API | |
| if: steps.cache-idris2-with-api.outputs.cache-hit != 'true' | |
| working-directory: Idris2 | |
| run: | | |
| make bootstrap && make install | |
| make clean | |
| make all && make install | |
| make install-api | |
| - name: Artifact Idris2 with API | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: installed-idris2-with-api | |
| path: ~/.idris2/ | |
| retention-days: 1 | |
| include-hidden-files: true | |
| build: | |
| runs-on: ubuntu-latest | |
| needs: build-idris2-with-api | |
| env: | |
| IDRIS2_CG: chez | |
| IDRIS2_TESTS_CG: chez | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Download Idris2 with API Artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: installed-idris2-with-api | |
| path: ~/.idris2/ | |
| - name: Install build dependencies | |
| run: | | |
| sudo apt-get install -y chezscheme | |
| echo "$HOME/.idris2/bin" >> $GITHUB_PATH | |
| chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/* | |
| - name: Get LSP-lib submodule | |
| run: | | |
| git submodule update --init LSP-lib | |
| - name: Build and install LSP-lib | |
| working-directory: LSP-lib | |
| run: | | |
| idris2 --install-with-src | |
| - name: build and test | |
| run: | | |
| make build && make test INTERACTIVE='' | |
| shell: bash |