Replace closed-range eon eliminators with forEraInEon and remove the …

b53b1ed

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

IOG Hydra

ci/eval

ci/hydra-build:aarch64-darwin.nonrequired

ci/hydra-build:aarch64-darwin.required

ci/hydra-build:aarch64-linux.nonrequired

ci/hydra-build:aarch64-linux.required

ci/hydra-build:x86_64-linux.nonrequired

ci/hydra-build:x86_64-linux.required

CodeQL on: dynamic

Analyze (actions)

Analyze (javascript-typescript)

Check cabal-gild format on: pull_request 3

check-cabal-gild

Actionlint on: pull_request 3

actionlint

Check Haskell formatting on: pull_request 3

check-formatting

Haskell CI (WASM) on: pull_request 14

build (ubuntu-latest, bash)

wasm-builds-complete

Check changelog fragments on: pull_request

check-changelog

Check Markdown links on: pull_request

markdown-link-check

Shellcheck on: pull_request 3

shellcheck

Check HLint on: pull_request

build

Check cabal files on: pull_request 3

check-cabal-files

Haskell CI on: pull_request 12

build (9.6, 3.16, ubuntu-latest, bash)

build (9.10, 3.16, ubuntu-latest, bash)

build (9.12, 3.16, ubuntu-latest, bash)

build (9.14, 3.16, ubuntu-latest, bash)

build (9.6, 3.16, macos-latest, bash)

build (9.12, 3.16, windows-latest, C:/msys64/usr/bin/bash.exe -e {0})

check-proto-gen

build-complete

Check git dependencies on: pull_request

build

Haskell Language Server works on: pull_request 4

test-hls-works

Code scanning results

CodeQL

hlint

IOG Hydra / ci/eval succeeded Aug 3, 2026 in 5s

Evaluation succeeded

Checkout took 4s.
Evaluation took 7 min 19s.

View more details on IOG Hydra

Loading

Re-running checks...