[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined #123
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: Yaffle | |
| on: | |
| push: | |
| branches: | |
| - '*' | |
| tags: | |
| - '*' | |
| paths-ignore: | |
| - '**.md' | |
| pull_request: | |
| branches: | |
| - main | |
| paths-ignore: | |
| - '**.md' | |
| workflow_dispatch: | |
| branches: | |
| - '*' | |
| jobs: | |
| ubuntu-build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| - name: Install build dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y chezscheme git | |
| echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" | |
| - name: Bootstrap-build Idris2 | |
| run: | | |
| git clone https://github.com/idris-lang/Idris2.git | |
| cd Idris2 | |
| git checkout 102d7ebc | |
| make bootstrap SCHEME=chezscheme | |
| make install | |
| - name: Build Yaffle | |
| run: | | |
| export PATH=$PATH:$HOME/.idris2/bin | |
| make all |