Skip to content
Nix Agda CI

Remove MacOS tests #48

Sign in to view logs

Remove MacOS tests

Remove MacOS tests #48

Triggered via push February 19, 2025 16:43
@4e554c4c4e554c4c
pushed 552f13c
master
Status Success
Total duration 1m 8s
Artifacts –

nix-agda.yml

on: push
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in