Nix Agda CI

Remove MacOS tests #47

Sign in to view logs

Triggered via pull request February 19, 2025 16:15

4e554c4c

opened #167

4e554c4c:yeet-macos

Status Success

Total duration 1m 4s

Artifacts –

nix-agda.yml

on: pull_request

Matrix: Nix Agda