Merge pull request #120 from malob/update-GHCs #20

Sign in to view logs

Triggered via push September 6, 2023 18:05

isovector

master

Status Failure

Total duration 40m 6s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda

Annotations

2 errors

Nix Agda (macos-12)

Process completed with exit code 150.

Nix Agda (ubuntu-22.04)

Process completed with exit code 1.