add types for metrics and remove unused file

1740cfd

Select commit

Loading

Failed to load commit list.

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

IOG Hydra

ci/hydra-build:x86_64-linux.checks.fourmolu

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-darwin.nonrequired

ci/hydra-build:x86_64-darwin.required

ci/hydra-build:x86_64-linux.nonrequired

ci/hydra-build:x86_64-linux.required

Check Fourmolu on: push 2

build

Check git dependencies on: push 1

build

Haskell CI on: push 32

build (ubuntu-latest, ghc96)

build (ubuntu-latest, ghc98)

build (ubuntu-latest, ghc912)

build (macos-latest, ghc96)

CodeQL on: dynamic 2

Analyze (actions)

Haskell CI on: pull_request 32

build (ubuntu-latest, ghc96)

build (ubuntu-latest, ghc98)

build (ubuntu-latest, ghc912)

build (macos-latest, ghc96)

Code scanning results

CodeQL

IOG Hydra / ci/hydra-build:x86_64-linux.nonrequired succeeded Mar 31, 2026 in 0s

Build succeeded

/nix/store/swr9ig7d8kv4h1qdsxfzvlyplkvjhpfi-nonrequired

Loading