Skip to content
This repository was archived by the owner on Oct 11, 2025. It is now read-only.
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 10 additions & 11 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ on:
jobs:
nix-build:
name: nix-build
runs-on: ubuntu-latest
runs-on: ubuntu-24.04
steps:

- name: checkout
Expand All @@ -36,11 +36,11 @@ jobs:

- name: build-frontend
run: |
nix develop --command bash -c "cd frontend && exec ./build.sh --low-memory-unused --converge --gufa --flatten --rereloop -Oz"
nix develop --command bash -c "cd frontend && exec ./build.sh --low-memory-unused --converge -O4"

ghcup-build:
name: ghcup-build
runs-on: ubuntu-latest
runs-on: ubuntu-24.04
steps:

- name: checkout
Expand All @@ -56,13 +56,12 @@ jobs:

- name: cabal
run: |
ghcup config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/develop/ghcup-prereleases-0.0.8.yaml
ghcup install cabal --set 3.15.0.0.2024.10.3
ghcup install cabal --set latest

- name: wasm32-wasi-ghc
run: |
ghcup config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/develop/ghcup-cross-0.0.8.yaml
ghcup install ghc --set wasm32-wasi-9.10.1.20241021 -- $CONFIGURE_ARGS
ghcup config add-release-channel https://gitlab.haskell.org/haskell-wasm/ghc-wasm-meta/-/raw/master/ghcup-wasm-0.0.9.yaml
ghcup install ghc --set wasm32-wasi-9.12 -- $CONFIGURE_ARGS

- uses: dw-labs-org/dart-sass-gha@v1

Expand Down Expand Up @@ -92,11 +91,11 @@ jobs:
- name: build-frontend
run: |
cd frontend
./build.sh --low-memory-unused --converge --gufa --flatten --rereloop -Oz
./build.sh --low-memory-unused --converge -O4

non-nix-build:
name: non-nix-build
runs-on: ubuntu-latest
runs-on: ubuntu-24.04
permissions:
pages: write
id-token: write
Expand All @@ -113,7 +112,7 @@ jobs:
~/.ghc-wasm/add_to_github_path.sh
popd
env:
FLAVOUR: '9.10'
FLAVOUR: '9.12'

- uses: dw-labs-org/dart-sass-gha@v1

Expand All @@ -134,7 +133,7 @@ jobs:
- name: build-frontend
run: |
cd frontend
./build.sh --low-memory-unused --converge --gufa --flatten --rereloop -Oz
./build.sh --low-memory-unused --converge -O4

- name: upload-pages-artifact
uses: actions/upload-pages-artifact@v3
Expand Down
12 changes: 11 additions & 1 deletion cabal.project
Original file line number Diff line number Diff line change
@@ -1,6 +1,16 @@
packages: . hs2048

index-state: 2024-11-15T08:25:42Z
index-state: 2025-02-07T08:16:42Z

allow-newer:
all:base

-- Fix building with recent text, remove when miso-1.8.6.0 or newer
-- is released
source-repository-package
type: git
location: https://github.com/dmjio/miso.git
tag: e411f3e2872465f37eb53b6de4542010a105b53a

if arch(wasm32)
-- Required for TemplateHaskell. When using wasm32-wasi-cabal from
Expand Down
12 changes: 6 additions & 6 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
{
devShells.default = pkgs.mkShell {
packages = [
inputs.ghc-wasm-meta.packages.${system}.all_9_10
inputs.ghc-wasm-meta.packages.${system}.all_9_12
pkgs.dart-sass
];
};
Expand Down