Skip to content
Nix Agda CI

update workflows #40

Sign in to view logs

update workflows

update workflows #40

Triggered via pull request January 15, 2025 12:08
@4e554c4c4e554c4c
opened #163
4e554c4c:workflows
Status Success
Total duration 1m 49s
Artifacts –

nix-agda.yml

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