Skip to content
Nix Agda CI

update workflows #6

Sign in to view logs

update workflows

update workflows #6

Triggered via push January 15, 2025 13:20
@4e554c4c4e554c4c
pushed fa3c8e6
workflows
Status Success
Total duration 2m 2s
Artifacts –

nix-agda.yml

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