Merge pull request #122 from malob/fix-mac-ci #23

Sign in to view logs

Triggered via push September 7, 2023 05:06

isovector

master

Status Failure

Total duration 47m 27s

Artifacts –

nix-agda.yml

on: push

Matrix: Nix Agda

Annotations

2 errors

Nix Agda (macos-12)

Process completed with exit code 1.

Nix Agda (ubuntu-22.04)

Process completed with exit code 1.