can now handle sizing multiple bound recursion combinators separately… #45
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
| # comment to fire up github actions 2 | |
| name: "Telomare CI" | |
| on: | |
| pull_request: | |
| push: | |
| jobs: | |
| tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/[email protected] | |
| - uses: cachix/install-nix-action@v15 | |
| with: | |
| extra_nix_config: | | |
| access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} | |
| - uses: cachix/cachix-action@v10 | |
| with: | |
| name: telomare | |
| signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' | |
| extraPullNames: nix-community | |
| - name: Build and test | |
| run: | | |
| echo cachix use | |
| cachix use iohk | |
| echo nix build: | |
| nix build | |
| echo nix run tests: | |
| nix flake check | |
| echo testing telomare-mini-repl: | |
| [[ "8" -eq $(nix develop -c cabal run telomare-mini-repl -- --expr 'succ 7' | tail -n 1) ]] | |
| echo building for legacy nix-shell: | |
| nix-build | |
| nix-shell --run "echo OK" | |
| echo ${{ github.ref }} | |
| echo ${{ github.repository }} | |
| format: | |
| if: ${{ (github.ref == 'refs/heads/master') && (github.repository == 'Stand-In-Language/stand-in-language') }} | |
| needs: tests | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout telomare repository | |
| uses: actions/[email protected] | |
| with: | |
| repository: Stand-In-Language/stand-in-language | |
| token: ${{ secrets.API_TOKEN_GITHUB }} | |
| - uses: cachix/install-nix-action@v15 | |
| with: | |
| extra_nix_config: | | |
| access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} | |
| - uses: cachix/cachix-action@v10 | |
| with: | |
| name: telomare | |
| signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' | |
| extraPullNames: nix-community | |
| - name: stylish-haskell formatting | |
| run: | | |
| ls | |
| nix develop -c stylish-haskell -irv . | |
| echo stylish-haskell formatting finished | |
| - uses: EndBug/add-and-commit@v7 | |
| with: | |
| message: 'stylish-haskell formatting automatically applied' | |
| default_author: github_actions | |
| release: | |
| if: ${{ (github.ref == 'refs/heads/master') && (github.repository == 'Stand-In-Language/stand-in-language') }} | |
| needs: [tests, format] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout telomare repository | |
| uses: actions/[email protected] | |
| with: | |
| repository: Stand-In-Language/stand-in-language | |
| token: ${{ secrets.API_TOKEN_GITHUB }} | |
| path: ./telomare | |
| - name: Checkout telomare site repository | |
| uses: actions/[email protected] | |
| with: | |
| repository: Stand-In-Language/stand-in-language.github.io | |
| token: ${{ secrets.API_TOKEN_GITHUB }} | |
| path: ./stand-in-language.github.io | |
| - uses: cachix/install-nix-action@v15 | |
| with: | |
| extra_nix_config: | | |
| access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} | |
| - uses: cachix/cachix-action@v10 | |
| with: | |
| name: telomare | |
| signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' | |
| extraPullNames: nix-community | |
| - name: haddock build | |
| run: | | |
| ls | |
| cd telomare | |
| nix develop -c cabal haddock --haddock-hyperlink-source | |
| echo OK Haddock build | |
| - name: haddock copy | |
| run: | | |
| ls | |
| rm -rf stand-in-language.github.io/docs/haddock/ | |
| mkdir stand-in-language.github.io/docs/haddock/ | |
| cp -r telomare/dist-newstyle/build/x86_64-linux/ghc-9.2.2/telomare-0.1.0.0/doc/html/telomare/. stand-in-language.github.io/docs/haddock | |
| - uses: EndBug/add-and-commit@v7 | |
| with: | |
| message: 'haddock documentation automatically updated' | |
| cwd: './stand-in-language.github.io/' | |
| default_author: github_actions |