Merge pull request #134 from malob/update-ghc #29

Sign in to view logs

Triggered via push December 20, 2023 15:52

isovector

master

Status Success

Total duration 5m 32s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda