Refactor Hadrian setup steps to ensure consistent shell usage and rem… #61
This file contains hidden or 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: Test Hadrian GHC-in-GHCi | ||
| on: push | ||
| # push: | ||
| # branches: [ master ] | ||
| # pull_request: | ||
| # branches: [ master ] | ||
| jobs: | ||
| # pre-cleanup: | ||
| # runs-on: ubuntu-latest | ||
| # steps: | ||
| # - name: CheckSpace | ||
| # shell: bash | ||
| # run: df -h | ||
| # - name: Checkout | ||
| # uses: actions/checkout@v4 | ||
| # - name: Free Disk Space (Ubuntu) | ||
| # uses: jlumbroso/free-disk-space@main | ||
| # with: | ||
| # # this might remove tools that are actually needed, | ||
| # # if set to "true" but frees about 6 GB | ||
| # tool-cache: false | ||
| # # all of these default to true, but feel free to set to | ||
| # # "false" if necessary for your workflow | ||
| # android: true | ||
| # dotnet: true | ||
| # haskell: false | ||
| # large-packages: true | ||
| # docker-images: false | ||
| # swap-storage: true | ||
| hadrian-build-build: | ||
| runs-on: ubuntu-latest | ||
| permissions: | ||
| id-token: "write" | ||
| contents: "read" | ||
| # needs: [pre-cleanup] | ||
| strategy: | ||
| fail-fast: true | ||
| matrix: | ||
| # You can add multiple configurations here if needed | ||
| config: [default] | ||
| # container: | ||
| # # image: soulomoon/ghc-build-env:latest | ||
| # # image: registry.gitlab.haskell.org/ghc/ci-images/aarch64-linux-deb12:latest | ||
| # image: soulomoon/ci-images-x86_64-linux-deb12:latest | ||
| # options: --user root | ||
| env: | ||
| # GHC_FLAGS: -Werror | ||
| # BIGNUM_BACKEND: gmp | ||
| BIN_DIST_NAME: ghc-aarch64-linux-deb10-validate | ||
| BUILD_FLAVOUR: validate | ||
| # CONFIGURE_ARGS: --enable-strict-ghc-toolchain-check | ||
| # INSTALL_CONFIGURE_ARGS: --enable-strict-ghc-toolchain-check | ||
| TEST_ENV: aarch64-linux-deb10-validate | ||
| defaults: | ||
| run: | ||
| shell: bash | ||
| steps: | ||
| - uses: wimpysworld/nothing-but-nix@main | ||
| with: | ||
| hatchet-protocol: 'cleave' | ||
| witness-carnage: false # Default: false | ||
| root-safe-haven: '54000' | ||
| - uses: DeterminateSystems/nix-installer-action@main | ||
| # - uses: DeterminateSystems/magic-nix-cache-action@main | ||
| # - uses: DeterminateSystems/flake-checker-action@main | ||
| - name: Checkout | ||
| uses: actions/checkout@v4 | ||
| - name: setup git | ||
| run: | | ||
| git config user.email "[email protected]" | ||
| git config user.name "GHC GitLab CI" | ||
| - uses: nicknovitski/nix-develop@main | ||
| with: | ||
| arguments: "git+https://github.com/soulomoon/ghc.nix#llvm --accept-flake-config" | ||
| - name: Hadrian setup | ||
| shell: bash | ||
| run: | | ||
| . .gitlab/ci.sh setup | ||
| - name: Hadrian configure | ||
| shell: bash | ||
| run: . .gitlab/ci.sh configure | ||
| - name: CheckSpace | ||
| shell: bash | ||
| shell: bash | ||
| run: df -h | ||
| - name: Hadrian build | ||
| shell: bash | ||
| run: . .gitlab/ci.sh build_hadrian | ||
| - name: Hadrian test | ||
| shell: bash | ||
| run: . .gitlab/ci.sh test_hadrian | ||
| - name: Upload config.log | ||
| if: always() | ||
| uses: actions/upload-artifact@v4 | ||
| with: | ||
| name: config-log | ||
| path: _build/stage0/libraries/time/build/config.log | ||
