Update to GHC 9.6.4 #33

Sign in to view logs

Triggered via pull request March 25, 2024 19:44

malob

opened #145

malob:update-ghc

Status Success

Total duration 3m 52s

Artifacts –

nix-agda.yml

on: pull_request

Matrix: Nix Agda