Update GHC versions with default as 9.4.8 #28

Sign in to view logs

Triggered via pull request December 20, 2023 12:25

malob

opened #134

malob:update-ghc

Status Success

Total duration 3m 19s

Artifacts –

nix-agda.yml

on: pull_request

Matrix: Nix Agda